For the most recent entries see the Petri Nets Newsletter.

Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources.

Zhou, MengChu; DiCesare, Frank

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography