In: Advances in Computing Science, ASIAN 2003, Progamming Languages and Distributed Computation, 8th Asian Computing Science Conference Mumbai, India, December 10-12, 2003, pages 173-187. Volume 2896 of Lecture Notes in Computer Science --- Springer-Verlag, December 2003.
Abstract: The hierarchical process structure of Petri nets can be modelled by languages of series-parallel posets. We show how to extract this structure from a 1-safe Petri net. The technique also applies to represent 1-safe S-systems and communication-free systems in terms of structured programs with cobegin-coend. We also define SR-systems, a class of 1-safe Petri nets which exactly represents programs of this kind.