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

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

One critical barrier leading to successful implementation of flexible manufacturing and related automated systems is the ever-increasing complexity of their mod

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dy

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state auto