For the most recent entries see the Petri Nets Newsletter.

Keyword: bisimulation equivalence

Anisimov, N.A.; Koutny, M.:
On compositionality and Petri nets in protocol engineering. 1996.
Buchs, Didier; Guelfi, Nicolas:
CO-OPN: a Concurrent Object Oriented Petri Net Approach. 1991.
van Glabbeek, Rob J.; Goltz, Ursula:
Equivalences and Refinement. 1990.
Buchs, Didier; Guelfi, Nicolas:
CO-OPN: A Concurrent Object Oriented Petri Net Model. 1990.

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

Back to the Petri Nets Bibliography