| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| List of Symbols | 第13-14页 |
| List of Abbreviations | 第14-17页 |
| Chapter 1 Introduction | 第17-23页 |
| ·Flexible Manufacturing Systems, Petri Nets, and Deadlocks | 第17-19页 |
| ·Liveness Analysis of Petri Nets | 第19-21页 |
| ·Thesis Organization | 第21-23页 |
| Chapter 2 Preliminaries of Petri Nets | 第23-37页 |
| ·Basic Concepts | 第23-28页 |
| ·Siphons and Traps | 第28-29页 |
| ·Subclasses of Petrinets | 第29-33页 |
| ·Plants, Supervisors, and Controlled Systems | 第33-35页 |
| ·Summary | 第35-37页 |
| Chapter 3 Liveness Conditions for WS~3PR | 第37-57页 |
| ·Introduction | 第37-40页 |
| ·Motivation | 第40-41页 |
| ·Method to Check Liveness for WS~3PR | 第41-54页 |
| ·α-transition and β-transition | 第41-45页 |
| ·Properties of α-transitions and β-transitions | 第45-47页 |
| ·Sufficient Liveness Conditions for WS~3PR | 第47-51页 |
| ·Complexity of Checking Liveness for κ:-WS~3PR | 第51-54页 |
| ·Illustrative Examples | 第54-56页 |
| ·Summary | 第56-57页 |
| Chapter 4 A Resource Configuration Method for Liveness of LS~3PR | 第57-73页 |
| ·Introduction | 第57-59页 |
| ·Motivation | 第59-61页 |
| ·Resource Configuration Method | 第61-68页 |
| ·Computational Complexity Discussion | 第68页 |
| ·Example Studies | 第68-71页 |
| ·Summary | 第71-73页 |
| Chapter 5 Supervisor Reconfiguration for Deadlock Prevention by Resources Real-location | 第73-91页 |
| ·Introduction | 第73-75页 |
| ·Manufacturing-oriented Petri Nets (M-Nets) | 第75-78页 |
| ·An MIP-based Deadlock Detection Method | 第77-78页 |
| ·Structure Desig打of A Petri Net Supervisor | 第78-81页 |
| ·Deadlock Prevention Policy | 第81-85页 |
| ·Experimental Studies | 第85-90页 |
| ·Comparision of Computational Efficiency | 第90页 |
| ·Conclusions | 第90-91页 |
| Chapter 6 Sufficient Conditions for Loop Resource Subsets to Generate SMSs in S~3PR | 第91-107页 |
| ·Introduction | 第91-93页 |
| ·Motivation and Problem Formulation | 第93-94页 |
| ·Sufficient Conditions to Generate SMSs | 第94-103页 |
| ·Experimental Studies | 第103-104页 |
| ·Conclusions | 第104-107页 |
| Chapter 7 Conclusio打s a打d Future Research | 第107-111页 |
| ·Contributions | 第107-109页 |
| ·Future Work | 第109-111页 |
| Reference | 第111-121页 |
| Acknowledgement | 第121-123页 |
| Biography | 第123-124页 |
