Petri Nets and Bisimulations
AbstractSeveral categorical relationships (adjunctions) between models for concurrency have been established, allowing the translation of concepts and properties from one model to another. The purpose of the present paper is twofold: firstly to present a central example of such a relationship (a coreflection between asynchronous transition systems and Petri nets), and secondly to illustrate its use by transferring to nets a general concept of bisimulation.
How to Cite
Nielsen, M., & Winskel, G. (1994). Petri Nets and Bisimulations. BRICS Report Series, 1(15). https://doi.org/10.7146/brics.v1i15.21652
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.