Abstract
Two concepts are formulated: parallel and sequential mutual exclusion (SME) in the context of Petri net theory. The conditions under which a net containing such structures is bounded, live, and reversible are derived, and they are used to construct the Petri net models for a practical manufacturing system. The sufficient conditions for a Petri net to be live and reversible include that the number of initial tokens in each place be less than or equal to the token capacity of an SME and that the net without this SME be live and reversible.
| Original language | English (US) |
|---|---|
| Title of host publication | Proc 90 IEEE Int Conf Rob Autom |
| Publisher | Publ by IEEE |
| Pages | 526-531 |
| Number of pages | 6 |
| ISBN (Print) | 0818620617 |
| State | Published - Dec 1 1990 |
| Externally published | Yes |
| Event | Proceedings of the 1990 IEEE International Conference on Robotics and Automation - Cincinnati, OH, USA Duration: May 13 1990 → May 18 1990 |
Other
| Other | Proceedings of the 1990 IEEE International Conference on Robotics and Automation |
|---|---|
| City | Cincinnati, OH, USA |
| Period | 5/13/90 → 5/18/90 |
All Science Journal Classification (ASJC) codes
- Engineering(all)