Conference
A description of path expressions by Petri nets
Abstract
Petri nets are used to define a path and process notation which is more general in its ability to express synchronization than previous path notations. The Petri net classes corresponding to the path notation prove to be interesting in their own right and have demonstrable properties such as liveness and safeness.
Authors
Lauer PE; Campbell RH
Pagination
pp. 95-105
Publisher
Association for Computing Machinery (ACM)
Publication Date
1975
DOI
10.1145/512976.512987
Name of conference
Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75