Abstract
A parallel mutual exclusion concept has been formulated to model a resource shared by distinct independent processes and sequential mutual exclusion to model a resource shared by sequentially related processes. Both concepts were proven useful in synthesizing bounded, live, and reversible Petri nets for discrete event dynamic systems, especially for manufacturing systems. This paper generalizes these two concepts in order to model more complicated resource-sharing systems. Furthermore, this paper demonstrates their benefit to all the synthesis methods such as bottom-up, top-down, and rule-based approaches in order to build up a Petri net model with good properties.
Original language | English (US) |
---|---|
Pages | 49-55 |
Number of pages | 7 |
State | Published - 1996 |
Event | Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2) - Kauai, HI, USA Duration: Nov 18 1996 → Nov 21 1996 |
Other
Other | Proceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2) |
---|---|
City | Kauai, HI, USA |
Period | 11/18/96 → 11/21/96 |
All Science Journal Classification (ASJC) codes
- General Engineering