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.