Petri Nets and Bisimulations

  • Mogens Nielsen
  • Glynn Winskel

Abstract

Several 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.
Published
1994-05-03
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