Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promisin

Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concurrent soft

This monograph presents the state-of-the-art developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with c