Petri Nets and Bisimulations

  • Mogens Nielsen
  • Glynn Winskel


Several 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).