Petri Net Synthesis for Discrete Event Control of Manufacturing Systems develops two
essential resource-sharing concepts: parallel and sequential mutual exclusions and …

This paper presents the design, generation and implementation of coordinating discrete-
event control code using Petri nets (PNs) for an operating flexible manufacturing system …

A theoretical basis for Petri net synthesis methods is provided that can be used to model
systems with shared resources, and to make the resulting nets bounded, live, and reversible …

This paper surveys recent research on the application of Petri net models to the analysis and
synthesis of controllers for discrete event systems. Petri nets have been used extensively in …

Beginning with a bounded (safe), live, or reversible Petri net as a first-level net model for a
system, Petri nets are synthesized by first refining operation places through basic design …

Modern manufacturing systems pose a diversity of problems all along their life cycle which
are often treated with particular independent formalisms and techniques. Petri nets are a …

Design methods for sequence controllers play a very important role in advancing industrial
automation. The increasing complexity and varying needs of modern discrete manufacturing …

Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach
to its subject. The concepts of supervisory control and discrete event systems are explained …

This paper presents a methodology for constructing a class of place/transition nets for
modeling, simulation and control of discrete manufacturing processes. We consider batch …

Recent literature on Petri net applications to model controls of automated manufacturing
systems is discussed. Modeling controls is essential to prevent the incidence of system …