Title
Petri Net systems and their closure properties
Abstract
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.
Year
DOI
Venue
1988
10.1007/3-540-52494-0_35
applications and theory of petri nets
Keywords
Field
DocType
closure property
Mathematical optimization,Petri net,Computer science,Stochastic Petri net
Conference
ISBN
Citations 
PageRank 
0-387-52494-0
12
1.09
References 
Authors
16
1
Name
Order
Citations
PageRank
A. Kiehn124922.96