For the most recent entries see the Petri Nets Newsletter.

A Survey of Equivalence Notions for Net Based Systems.

Pomello, L.; Rozenberg, G.; Simone, C.

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 410-472. Springer-Verlag, 1992.

Abstract: This paper surveys various notions of equivalence for concurrent systems in the framework of Elementary Net Systems, a fundamental class in the family of Petri Net models. Two types of equivalences are considered: equivalences based on observations of actions defined in the framework of interleaving, step and partial order semantics; and equivalences based on state spaces and state observability.

Keywords: elementary net systems; action observability; state observability; interleaving semantics; step semantics; partial order semantics; action based equivalence; state based equivalence; morphism; abstraction; refinement.


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

Back to the Petri Nets Bibliography