In: Vogt, F.H.: Lecture Notes in Computer Science, Vol. 335; Concurrency 88, pages 237-256. Berlin, Heidelberg, New York: Springer-Verlag, 1988.
Abstract: This paper presents a behaviour equivalence between two intrinsically deterministic Petri nets. Each net may have specific transitions and observable transitions. A relation is defined between the obervable transitions of the two nets. The behaviour equivalence which preserves interleaving semantics, consists in allowing that corrresponding observable transitions must be fired in the same order.