The paper introduces the notion of concur-rent 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.
CITATION STYLE
Bednarczyk, M. A., & Borzyszkowski, A. M. (2001). On Concurrent Realization of Reactive Systems and Their Morphisms (pp. 346–379). https://doi.org/10.1007/3-540-45541-8_11
Mendeley helps you to discover research relevant for your work.