Deadlock Avoidance Algorithms and Implementation: A Matrix Based Approach

Abstract

This chapter presents a deadlock-avoidance matrix-based supervisory controller for discrete event systems. The formulation of this matrix-based controller makes it direct to write it down from standard manufacturing tools such as the bill of materials or the assembly tree. It is shown that the discrete event controller's matrix form equations plus the Petri Net marking transition equation together provide a complete dynamical description of discrete event systems.