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. 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.
Published
1995-01-04
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