Petri Nets and Bisimulations

Mogens Nielsen
Glynn Winskel

January 1995

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.

Available as PostScript, PDF, DVI.

Last modified: 2003-06-08 by webmaster.