In: Bulletin of the Novosibirsk Computing Center, Series Computer Science 3, pages 89-101. 1995. Computing Center, Novosibirsk, Russia; www.iis.nsk.su/persons/itar/.
Abstract: In this paper a variety of Petri net equivalences is examined. A correlation of all the considered equivalences is established, and a lattice of implications is obtained. In addition, the equivalences are treated for some subclasses of Petri nets: sequential nets, T-nets and nets with strict labelling.
Keywords: Petri nets; behavioural equivalences; sequential nets; T-nets; strictly labelled nets.