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 promising mathematical
tools for tackling deadlocks in various resource allocation systems. In a system modeled with
Petri nets, siphons are tied to the occurrence of deadlock states as a structural object. The
book systematically introduces the novel theory of siphons, traps, and elementary siphons of
Petri nets as well as the deadlock control strategies for FMS developed from it. Deadlock …

The field of Discrete Event Systems (DES) is a research area that combines different
formalisms, methodologies and tools from control theory, computer science and operations
research. The research activity in this field is driven by the needs of many different
applications domains: manufacturing, process control, supervisory control and data
acquisition systems, failure diagnosis, software engineering, transportation, and so on. One
important class of problems for untimed DES deal with deadlock resolution, ie, ensuring that …