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.
Original language | English (US) |
---|---|
Pages | 95-105 |
Number of pages | 11 |
State | Published - Jan 1 1975 |
Externally published | Yes |
Event | ACM Symp on Princ of Program Lang, 2nd, Conf Rec - Palo Alto, CA, USA Duration: Jan 20 1975 → Jan 22 1975 |
Other
Other | ACM Symp on Princ of Program Lang, 2nd, Conf Rec |
---|---|
City | Palo Alto, CA, USA |
Period | 1/20/75 → 1/22/75 |
ASJC Scopus subject areas
- Engineering(all)