| Abstract(Chinese) | 第5-7页 |
| Abstract | 第7-9页 |
| Chapter1 Introduction | 第18-24页 |
| 1.1 Flexible manufacturing systems, deadlock resolutions, and Petri nets | 第18-20页 |
| 1.2 Thesis Organization | 第20-24页 |
| Chapter2 Preliminaries | 第24-44页 |
| 2.1 Petri Nets | 第24-34页 |
| 2.1.1 Formal De?nitions | 第24-29页 |
| 2.1.2 Structural Properties | 第29-32页 |
| 2.1.3 Subclasses of Petri nets | 第32-34页 |
| 2.2 Theory of Elementary Siphons | 第34-42页 |
| 2.2.1 Elementary and Dependent Siphons | 第35-36页 |
| 2.2.2 Controllability of Dependent Siphons | 第36-42页 |
| 2.3 Theory of Regions in Synthesis of Net Supervisors | 第42-44页 |
| Chapter 3 Deadlock Prevention Approach forTimed S3PR Using ElementarySiphons | 第44-68页 |
| 3.1 Introduction | 第44-46页 |
| 3.2 Timed PNs and SPNs | 第46-49页 |
| 3.3 Implicit Places and Liveness-Restricted Places | 第49-50页 |
| 3.4 S~3PR and TdS~3PR | 第50-52页 |
| 3.5 Deadlock Prevention Policy of TdS3PR | 第52-62页 |
| 3.6 Experimental Results | 第62-65页 |
| 3.7 Summary | 第65-68页 |
| Chapter 4 Deadlock Control Based onTransition Priority | 第68-84页 |
| 4.1 Introduction | 第68-69页 |
| 4.2 LS~3PR | 第69-70页 |
| 4.3 Theory of Regions | 第70页 |
| 4.4 Supervisor Design | 第70-80页 |
| 4.4.1 De?nition of PNWP | 第70-73页 |
| 4.4.2 Supervisor Design Based on PNWP | 第73-80页 |
| 4.5 Experimental Results | 第80-81页 |
| 4.6 Summary | 第81-84页 |
| Chapter 5 Deadlock Control Based on CapacityRestrictions | 第84-102页 |
| 5.1 Introduction | 第84-85页 |
| 5.2 WS~3PR and S4R nets | 第85-89页 |
| 5.3 Supervisor Design | 第89-97页 |
| 5.3.1 De?nitions of PNWC | 第89-90页 |
| 5.3.2 Supervisor Design Based on PNWC | 第90-97页 |
| 5.4 FMS Examples | 第97-99页 |
| 5.4.1 A WS~3PR net model | 第97-98页 |
| 5.4.2 An S~4R net model | 第98-99页 |
| 5.5 Summary | 第99-102页 |
| Chapter 6 Deadlock Prevention Policy Based onTime Constraints | 第102-112页 |
| 6.1 Introduction | 第102页 |
| 6.2 TPN | 第102-103页 |
| 6.3 Supervisor Design | 第103-108页 |
| 6.4 An FMS example | 第108-110页 |
| 6.5 Summary | 第110-112页 |
| Chapter 7 Conclusions and Future Research | 第112-116页 |
| 7.1 Research Contributions | 第112-114页 |
| 7.2 Limitations | 第114页 |
| 7.3 Future Work | 第114-116页 |
| References | 第116-126页 |
| Acknowledgements | 第126-128页 |
| Biography | 第128-131页 |
