| Publication Type |
journal article |
| Creator |
Herzog, Otthein |
| Title |
Liveness of extended control structure nets |
| Date |
1977 |
| Description |
A new subclass of Petri nets is defined allowing the control structure representation of parallel programs including arbitrary semaphore operations. Structural properties of the "Extended Control Structure Nets" are discussed and seven necessary and sufficient conditions for their liveness are proved. |
| Type |
Text |
| Publisher |
University of Utah |
| First Page |
77 |
| Last Page |
120 |
| Language |
eng |
| Bibliographic Citation |
Herzong, O. (1977). Liveness of extended control structure nets. UTEC-77-120. |
| Rights Management |
©University of Utah |
| Format Medium |
application/pdf |
| Format Extent |
28,146,709 bytes |
| Identifier |
ir-main,16111 |
| ARK |
ark:/87278/s6fr0dsd |
| Setname |
ir_uspace |
| ID |
703471 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6fr0dsd |
