| ABSTRACT | 第5-6页 |
| 摘要 | 第7-11页 |
| List of Symbols | 第11-13页 |
| List of Abbreviations | 第13-16页 |
| Chapter 1 Introduction | 第16-22页 |
| 1.1 Deadlock in Flexibly Manufacturing Systems | 第16-17页 |
| 1.2 Deadlock Control Based on Petri Net in FMSs | 第17-19页 |
| 1.3 Thesis Organization | 第19-22页 |
| Chapter 2 Preliminaries | 第22-30页 |
| 2.1 Basics of Petri Nets | 第22-24页 |
| 2.2 Structural Analysis | 第24-26页 |
| 2.3 Reachability Analysis | 第26-28页 |
| 2.4 Control Place Synthesis Method by PI | 第28-29页 |
| 2.5 Conclusion | 第29-30页 |
| Chapter 3 Synthesis of Liveness-Enforcing Supervisors Based on a TGAL Approachand Vector Covering | 第30-48页 |
| 3.1 Control Place Computation | 第30-34页 |
| 3.1.1 Optimal Control Place Synthesis | 第30-31页 |
| 3.1.2 Vetcor Covering Approach for Place Invariant Control | 第31-34页 |
| 3.2 TGAL and TGALW Approach | 第34-36页 |
| 3.3 Deadlock Prevention Policy | 第36-40页 |
| 3.4 Experimental Results | 第40-45页 |
| 3.5 Conclusion | 第45-48页 |
| Chapter 4 Design of Maximally Permissive Liveness-Enforcing Supervisors Basedon TGAL Approach and Vector Covering | 第48-64页 |
| 4.1 Synthesis of M-related Super Succeed Markings | 第48-49页 |
| 4.2 Deadlock Prevention Policy | 第49-54页 |
| 4.3 Experimental Results | 第54-56页 |
| 4.4 Conclusion | 第56-64页 |
| Chapter 5 Conclusion and Future Work | 第64-66页 |
| References | 第66-72页 |
| Acknowledgements | 第72-74页 |
| Biography | 第74-75页 |
