For the most recent entries see the Petri Nets Newsletter.

Petri Nets and Bisimulation.

Nielsen, Mogens; Winskel, Glynn

In: Theoretical Computer Science Vol. 153, No. 1--2, pages 211-244. 1996.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography