1. Introduction -- 2. Preliminaries -- 3. Symbolic computation and analysis of petri nets -- 4. Supervisor design based on the theory of regions -- 5. Maximally permissive supervisors -- 6. Most permissive supervisors -- 7. Structurally minimal supervisors -- 8. Behaviorally optimal and structurally simple supervisors -- 9. Forbidden state problems -- 10. Conclusions and open problems.
Summary
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.