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. A central example is a coreflection
between Petri nets and asynchronous transition systems. The purpose of
the present paper is to illustrate the use of such relationships by transferring
to Petri nets a general concept of bisimulation.
How to Cite
Nielsen, M., & Winskel, G. (1995). Petri Nets and Bisimulations. BRICS Report Series, 2(4). https://doi.org/10.7146/brics.v2i4.19506
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.