| ABSTRACT | 第5-6页 |
| 摘要 | 第7-11页 |
| List of Symbols | 第11-13页 |
| List of Abbreviations | 第13-16页 |
| Chapter 1 Introduction | 第16-22页 |
| 1.1 Deadlocks in Flexible Manufacturing Systems | 第16-17页 |
| 1.2 Deadlocks Resolution Based on Petri nets | 第17-19页 |
| 1.3 Thesis Organization | 第19-22页 |
| Chapter 2 Preliminaries | 第22-36页 |
| 2.1 Theory of Petri Nets | 第22-28页 |
| 2.1.1 Multiset | 第22-23页 |
| 2.1.2 Formal Definitions | 第23-25页 |
| 2.1.3 Structural Properties | 第25-26页 |
| 2.1.4 Reachability Graph | 第26-28页 |
| 2.2 Some Application Subclasses of Petri Nets | 第28-32页 |
| 2.2.1 S3PR | 第29-31页 |
| 2.2.2 ES3PR | 第31-32页 |
| 2.3 MIP Method | 第32-33页 |
| 2.4 TGAL Approach | 第33-35页 |
| 2.5 Conclusion | 第35-36页 |
| Chapter 3 Deadlock Prevention Policy for Ordinary Petri Nets Based on Siphons andReachability Graph Analysis | 第36-54页 |
| 3.1 Computation of Deadlock markings by SMSs | 第36-41页 |
| 3.2 Computation of FBMs | 第41-46页 |
| 3.3 Deadlock Prevention Policy | 第46-49页 |
| 3.4 Experimental Results | 第49-51页 |
| 3.5 Conclusion | 第51-54页 |
| Chapter 4 Deadlock Control Policy for S3PR Based on Siphons | 第54-76页 |
| 4.1 Siphon Control Method | 第54-59页 |
| 4.1.1 A Siphon Control Method in S3PR | 第55-57页 |
| 4.1.2 A Siphon Control Method in ES3PR | 第57-59页 |
| 4.2 Siphon Extraction From a Plant | 第59-63页 |
| 4.3 Deadlock Prevention Policy for S3PR | 第63-70页 |
| 4.4 Case Study and Discussion | 第70-75页 |
| 4.4.1 Case Study | 第70-73页 |
| 4.4.2 Discussion | 第73-75页 |
| 4.5 Conclusion | 第75-76页 |
| Chapter 5 Conclusion and Future Work | 第76-78页 |
| References | 第78-84页 |
| Acknowledgements | 第84-86页 |
| Biography | 第86-87页 |
