| 摘要 | 第1-7页 |
| Abstract | 第7-15页 |
| 1 Introduction | 第15-27页 |
| ·Background | 第15-18页 |
| ·Literature Review | 第18-23页 |
| ·Liveness Enforcing Supervision for Automated Manufacturing Systems | 第18-23页 |
| ·Automated Manufacturing Systems with Unreliable Resources | 第23页 |
| ·Thesis Organization | 第23-27页 |
| 2 PreIiminaries of Petri Nets | 第27-39页 |
| ·Introduction | 第27页 |
| ·Multisets | 第27-28页 |
| ·Formal Definitions | 第28-31页 |
| ·Inhibitor Arc | 第31-32页 |
| ·Structural Invariants | 第32-33页 |
| ·Siphons and Traps | 第33-34页 |
| ·Subclasses of Petri Nets | 第34-37页 |
| ·S~3PR Net | 第34-35页 |
| ·S~4R Net | 第35-37页 |
| ·Summary | 第37-39页 |
| 3 New controllability condition for siphons in S~4R | 第39-51页 |
| ·Introduction | 第39页 |
| ·Controllability conditions of siphons | 第39-44页 |
| ·Max-controlled siphons | 第40-41页 |
| ·Max'-controlled siphons | 第41-44页 |
| ·Max"-controlled siphons | 第44-47页 |
| ·Comparison | 第47-48页 |
| ·Discussion | 第48-50页 |
| ·Summary | 第50-51页 |
| 4 General MIP-based Liveness Test for S~4R Nets | 第51-67页 |
| ·Introduction | 第51页 |
| ·Deadlocks and livelocks | 第51-53页 |
| ·More General MIP for S~4R | 第53-61页 |
| ·Current MIP Technique for S~4R | 第54-55页 |
| ·More General MIP | 第55-61页 |
| ·Examples | 第61-65页 |
| ·Summary | 第65-67页 |
| 5 Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors | 第67-89页 |
| ·Introduction | 第67-68页 |
| ·Structure Design of a Petri Net Supervisor | 第68-74页 |
| ·Motivation and Problem Formulation | 第68-70页 |
| ·M-nets | 第70-72页 |
| ·Minimal Initial Marking | 第72-74页 |
| ·Derivation of the Structure of a Controlled System | 第74页 |
| ·Siphon Controllability Constraints | 第74-80页 |
| ·Redundancy Identification of Constraints | 第80-81页 |
| ·Deadlock Prevention Policy | 第81-83页 |
| ·Examples | 第83-86页 |
| ·Discussion | 第86-87页 |
| ·Summary | 第87-89页 |
| 6 Robust Liveness-enforcing Supervisor for S~3PR with Unreliable Resources | 第89-109页 |
| ·Introduction | 第89页 |
| ·Motivation | 第89-92页 |
| ·Robust Liveness-enforcing Supervisor Design | 第92-101页 |
| ·Examples | 第101-105页 |
| ·Summary | 第105-109页 |
| 7 Conclusions and Future Research | 第109-113页 |
| ·Contributions | 第109-110页 |
| ·Limitations and Future Research | 第110-113页 |
| Acknowledgements | 第113-115页 |
| References | 第115-125页 |
| Research Achievements | 第125-126页 |
