In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 306-328. Berlin, Germany: Springer-Verlag, 1990.
Abstract: The author introduces Petri net systems as a means for hierarchical development of concurrent systems. A Petri net system is a finite family of place/transition nets which may call each other in a certain way. The author studies the generating power of these systems and prove closure properties of the class of languages accepted by them.
Keywords: closure property (of language class); hierarchical development (of concurrent systems); net system.