Petri Nets and Bisimulations

Forfattere

  • Mogens Nielsen
  • Glynn Winskel

DOI:

https://doi.org/10.7146/brics.v2i4.19506

Resumé

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.

Downloads

Publiceret

1995-01-04

Citation/Eksport

Nielsen, M., & Winskel, G. (1995). Petri Nets and Bisimulations. BRICS Report Series, 2(4). https://doi.org/10.7146/brics.v2i4.19506