| |
| |
| Preface | |
| |
| |
| Acknowledgements | |
| |
| |
| Acronyms | |
| |
| |
| Authors | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| Automated Manufacturing Systems | |
| |
| |
| |
| Supervisory Control of Automated Manufacturing Systems | |
| |
| |
| |
| Summary | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Preliminaries | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| Petri Nets | |
| |
| |
| |
| Basic Concepts | |
| |
| |
| |
| Structural Analysis | |
| |
| |
| |
| Reachability Graph | |
| |
| |
| |
| Binary Decision Diagrams | |
| |
| |
| |
| Boolean Algebra | |
| |
| |
| |
| Binary Decision Diagrams | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Symbolic Computation and Analysis of Petri Nets | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| Symbolic Modeling of Bounded Petri Nets | |
| |
| |
| |
| Efficient Computation of a Reachability Set | |
| |
| |
| |
| Symbolic Analysis of a Reachability Graph | |
| |
| |
| |
| Conversely Firing Policy | |
| |
| |
| |
| Efficient Computation of Legal Markings and FBMs | |
| |
| |
| |
| Experimental Results | |
| |
| |
| |
| Efficient Computation of Minimal Siphons | |
| |
| |
| |
| Symbolic Representation of Siphons | |
| |
| |
| |
| Symbolic Extraction of Minimal Siphons | |
| |
| |
| |
| An Illustrative Example | |
| |
| |
| |
| Experimental Results | |
| |
| |
| |
| Conclusions | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Supervisor Design Based on the Theory of Regions | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| The Theory of Regions | |
| |
| |
| |
| An Illustrative Example | |
| |
| |
| |
| Conclusions | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Maximally Permissive Supervisors | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| Control Place Computation | |
| |
| |
| |
| Control Place Computation for a Place Invariant | |
| |
| |
| |
| Optimal Control Place Synthesis | |
| |
| |
| |
| Vector Covering Approach for Place Invariant Control | |
| |
| |
| |
| Symbolic Computation of the Vector Covering Approach | |
| |
| |
| |
| Deadlock Prevention Policy | |
| |
| |
| |
| Experimental Results | |
| |
| |
| |
| Conclusions | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Most Permissive Supervisors | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| Best Control Place Synthesis | |
| |
| |
| |
| Deadlock Prevention Policy | |
| |
| |
| |
| Experimental Results | |
| |
| |
| |
| Conclusions | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Structurally Minimal Supervisors | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| Synthesis of Minimum Control Places | |
| |
| |
| |
| Deadlock Prevention Policy | |
| |
| |
| |
| Experimental Results | |
| |
| |
| |
| Conclusions | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Behaviorally Optimal and Structurally Simple Supervisors | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| Control Place Synthesis for FBMs | |
| |
| |
| |
| Deadlock Prevention Policy | |
| |
| |
| |
| Experimental Results | |
| |
| |
| |
| Conclusions | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Forbidden State Problems | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| Forbidden State Problems | |
| |
| |
| |
| Reachability Graph Generation under Forbidden States | |
| |
| |
| |
| Optimal Monitor Synthesis | |
| |
| |
| |
| Vector Covering Approach for a Minimal Supervisory Structure | |
| |
| |
| |
| Structurally and Behaviorally Optimal Supervisor | |
| |
| |
| |
| Most Permissive Supervisor Design | |
| |
| |
| |
| Examples | |
| |
| |
| |
| GMEC Problems | |
| |
| |
| |
| Conclusions | |
| |
| |
| |
| Bibliographical Remarks | |
| |
| |
| References | |
| |
| |
| |
| Conclusions and Open Problems | |
| |
| |
| |
| Conclusions | |
| |
| |
| |
| Open Problems | |
| |
| |
| |
| Siphons in an S<sup>3</sup>PR | |
| |
| |
| |
| Iterative Deadlock Control Approach | |
| |
| |
| |
| Optimal Supervisor Design Problem | |
| |
| |
| |
| Supervisor Design with Minimized Costs | |
| |
| |
| |
| Elementary Siphons in CPN or ROPN | |
| |
| |
| |
| Fault-tolerate Deadlock Control | |
| |
| |
| |
| Existence of Optimal Supervisors | |
| |
| |
| |
| Deadlock Avoidance with Polynomial Complexity | |
| |
| |
| References | |
| |
| |
| Glossary | |
| |
| |
| Index | |