| ABSTRACT | 第5-6页 |
| 摘要 | 第7-10页 |
| List of Symbols | 第10-12页 |
| List of Abbreviations | 第12-15页 |
| Chapter 1 Introduction | 第15-21页 |
| 1.1 Background and Literature Review | 第15-18页 |
| 1.2 Research Content and Significance | 第18-19页 |
| 1.3 Thesis Organization | 第19-21页 |
| Chapter 2 Preliminaries | 第21-31页 |
| 2.1 Multi-Set | 第21页 |
| 2.2 Basic Definitions of Petri Nets | 第21-25页 |
| 2.3 Structural Invariants | 第25-27页 |
| 2.4 Reachability Graph | 第27-28页 |
| 2.5 S~3PR Nets | 第28-30页 |
| 2.6 Conclusion | 第30-31页 |
| Chapter 3 Control Place Computation | 第31-37页 |
| 3.1 Control Place Computation Based on Place Invariant | 第31-33页 |
| 3.2 Vector Covering Approach for Place Invariant Control | 第33-35页 |
| 3.3 Conclusion | 第35-37页 |
| Chapter 4 Deadlock Prevention Strategy Based on Decomposition Techniques | 第37-57页 |
| 4.1 Decomposition and Merging of Petri Nets | 第37-40页 |
| 4.2 Deadlock Analysis | 第40-46页 |
| 4.3 Supervisors Design for S~3PR | 第46-51页 |
| 4.4 Experimental Results | 第51-55页 |
| 4.4.1 One-level Decomposition | 第52页 |
| 4.4.2 Multi-level Decomposition | 第52-53页 |
| 4.4.3 Multi-branch Net Model Experiment | 第53-55页 |
| 4.5 Conclusion | 第55-57页 |
| Chapter 5 Optimized Deadlock Prevention Strategy Based on Decomposition Tech-niques | 第57-71页 |
| 5.1 Subdivision of SRS | 第57-59页 |
| 5.2 Deadlock Analysis | 第59页 |
| 5.3 Supervisors Design for S~3PR | 第59-65页 |
| 5.4 Experimental Results | 第65-70页 |
| 5.4.1 Single-branch Petri Net Experiment | 第65-66页 |
| 5.4.2 Multi-branch Petri Net Experiment | 第66-70页 |
| 5.5 Conclusion | 第70-71页 |
| Chapter 6 Conclusion and Future work | 第71-73页 |
| References | 第73-77页 |
| Acknowledgements | 第77-79页 |
| Biography | 第79-80页 |
