In: IEEE Transactions on Robotics and Automation, Vol. 7, No. 4, pages 515-527. August 1991.
Abstract: The properties necessary for controlling practical manufacturing systems, including boundedness, liveness, and reversibility, are important in conducting system performance analysis. A theoretical basis for Petri net synthesis methods is provided for modeling systems with shared resources. Parallel mutual exclusion and sequential mutual exclusion resource-sharing concepts are formulated in the context of Petri net theory. The conditions under which a net containing such structures remains bounded, live, and reversible are derived.
Keywords: parallel (and) sequential mutual exclusion; manufacturing system (with) shared resource; performance analysis; robot; boundedness; liveness; reversibility.