Petri Net Synthesis for Discrete Event Control of Manufacturing Systems develops two essential resource-sharing concepts: parallel and sequential mutual exclusions and theoretical results in Petri synthesis. A parallel mutual exclusion (PME) is defined to model a resource shared by independent distributed processes, and a sequential mutual exclusion is a sequential composition of PMEs, modeling a resource shared by sequentially-related processes.
A hybrid synthesis methodology for Petri net models and controllers is proposed using top-down, modular, and bottom-up...

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems develops two essential resource-sharing concepts: parallel and sequential mutual exclusions and theoretical results in Petri synthesis. A parallel mutual exclusion (PME) is defined to model a resource shared by independent distributed processes, and a sequential mutual exclusion is a sequential composition of PMEs, modeling a resource shared by sequentially-related processes.
A hybrid synthesis methodology for Petri net models and controllers is proposed using top-down, modular, and bottom-up...

M. Silva Significant changes have been occurring in industrialized countries since the Second World War. Production is moving towards sophisticated high- qUality products, economy of scale has been replaced by economy of scope, jerky demands are progressively replacing steady demands, and competi- tiveness is becoming a worldwide phenomenon. These trends require highly automated manufacturing systems with small set-up times and high flex- ibility. As a consequence, implementation and running costs of modem manufacturing systems are drastically increasing, whereas their fields of application...