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 |