In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 227-248. Springer-Verlag, 1988.
Abstract: Infinitary partial languages for Petri nets are introduced, and some of their properties are studied. Earlier results on the interrelation between various Petri net semantics for finite behaviour are shown to be valid for infinite behaviour. As a consequence step sequences and event structures of processes both can be taken as a semantics for Petri nets without loss of information.