Deadlock detection and avoidance for a class of manufacturing systems

A method to avoid deadlock for a large class of manufacturing systems is presented. It is shown that deadlock can be avoided if the system satisfies a set of simple linear constraints. Several examples of the approach are presented and results compared to other deadlock avoidance schemes. The examples demonstrate that significantly higher utilization can be obtained using the proposed scheme.