For the most recent entries see the Petri Nets Newsletter.

On Concurrent Realization of Reactive Systems and Their Morphisms.

Bednarczyk, Marek A.; Borzyszkowski, Andrzej M.

In: H. Ehrig, G. Juhás, J. Padberg, G. Rozenberg (Eds.): LNCS 2128: Unifying Petri Nets - Advances in Petri Nets, pages 346-pp. Springer Verlag, December 2001.

Abstract: The paper introduces the notion of concurrent realization of reactive systems. A framework is also presented in which labelled safe Petri nets as concurrent realizations of concrete asynchronous systems are constructed. The construction is uniform in the sense that it extends to a realization of arbitrary commuting diagrams. We discuss applicability of the framework to construct maximally concurrent realizations of reactive systems.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography