Petri Net systems and their closure properties
Astrid Kiehn · 1990
We introduce Petri net systems as a means for a hierachical 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. We study the generating power of these systems and prove closure properties of the class of languages accepted by them.