This monograph presents the state-of-the-art developments in the design of behaviorally and structurally optimal livenessen-forcing Petri net supervisors with computationally tractable approaches. It details optimal supervisory control problems arising in automated production systems and outlines a methodology to achieve the optimality purposes of deadlock prevention via converting a variety of problems under consideration into integer linear programming models. The book includes a reference bibliography at the end of each chapter and a complete index.
Introduction. Preliminaries. Symbolic Computation and Analysis of Petri Nets. Supervisor Design Based on the Theory of Regions. Maximally Permissive Supervisors. Most Permissive Supervisors. Structurally Minimal Supervisors. Behaviorally Optimal and Structurally Simple Supervisors. Forbidden State Problems. Conclusions and Open Problems.