For the most recent entries see the Petri Nets Newsletter.

Petri Net Systems and their Closure Properties.

Kiehn, Astrid

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography