Generalizing parallel and sequential mutual exclusions for Petri net synthesis of manufacturing systems1

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