| 摘要 | 第1-8页 |
| Abstract | 第8-15页 |
| 1 Introduction | 第15-23页 |
| ·Deadlocks in Flexible Manufacturing Systems | 第15-17页 |
| ·Petri Net Based Deadlock Resolution in FMS | 第17-19页 |
| ·Thesis Organization | 第19-23页 |
| 2 Preliminaries | 第23-33页 |
| ·Petri nets | 第23-29页 |
| ·Basic Concepts | 第23-26页 |
| ·Structural Analysis | 第26-28页 |
| ·Reachability Graph | 第28-29页 |
| ·Binary Decision Diagrams | 第29-33页 |
| ·Boolean Algebras | 第29-30页 |
| ·Binary Decision Diagrams | 第30-33页 |
| 3 Symbolic Computation and Analysis of Petri Nets | 第33-59页 |
| ·Introduction | 第33-34页 |
| ·Symbolic Modeling of Bounded Petri Nets | 第34-35页 |
| ·Efficient Computation of a Reachable Set | 第35-38页 |
| ·Symbolic Analysis of a Reachability Grpah | 第38-46页 |
| ·Conversely Firing Policy | 第38-40页 |
| ·Effcient Computation of Legal Markings and FBM | 第40-43页 |
| ·Symbolic Computation of a Vector Covering Approach | 第43-46页 |
| ·Efficient Computation of Minimal Siphons | 第46-59页 |
| ·Symbolic Representation of Siphons | 第46-48页 |
| ·Symbolic Extraction of Minimal Siphons | 第48-51页 |
| ·An Illustrative Example | 第51-53页 |
| ·Experimental Results | 第53-57页 |
| ·Conclusions | 第57-59页 |
| 4 Maximally Permissive Supervisors | 第59-87页 |
| ·Introduction | 第59-60页 |
| ·Control Place Computation | 第60-63页 |
| ·Control Place Computation for a Place Invariant | 第60-62页 |
| ·Optimal Control Place Synthesis | 第62-63页 |
| ·Vector Covering Approach for Place Invariant Control | 第63-68页 |
| ·Optimal Deadlock Prevention Policy | 第68-73页 |
| ·Experimental Results | 第73-84页 |
| ·Conclusions | 第84-87页 |
| 5 Best Permissive Supervisors | 第87-101页 |
| ·Introduction | 第87-90页 |
| ·Best Control Place Synthesis | 第90-91页 |
| ·Deadlock Prevention Policy | 第91-97页 |
| ·Experimental Results | 第97-100页 |
| ·Conclusions | 第100-101页 |
| 6 Structurally Minimal Supervisors | 第101-117页 |
| ·Introduction | 第101-102页 |
| ·Minimal Number of Control Places Synthesis | 第102-105页 |
| ·Deadlock Prevention Policy | 第105-110页 |
| ·Experimental Results | 第110-115页 |
| ·Conclusions | 第115-117页 |
| 7 Behaviorally Optimal and Structurally Simple Liveness-enforcing Supervisors | 第117-137页 |
| ·Introduction | 第117-118页 |
| ·Control Place Synthesis for Forbidding FBM | 第118-122页 |
| ·Deadlock Prevention Policy | 第122-130页 |
| ·Experimental Results | 第130-134页 |
| ·Conclusions | 第134-137页 |
| 8 Conclusions and Future Research | 第137-141页 |
| ·Contributions | 第137-139页 |
| ·Limitations | 第139-140页 |
| ·Future Work | 第140-141页 |
| Acknowledgements | 第141-143页 |
| References | 第143-151页 |
| Research Achievements | 第151-152页 |
