| 作者简介 | 第4-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 1 Introduction | 第14-20页 |
| 1.1 Flexible Manufacturing Systems | 第14-18页 |
| 1.2 Thesis Organization | 第18-20页 |
| 2 Preliminaries | 第20-32页 |
| 2.1 Multiset | 第20页 |
| 2.2 Basics of Petri Nets | 第20-24页 |
| 2.2.1 Formal Definitions | 第20-24页 |
| 2.2.2 Structural Invariants | 第24页 |
| 2.3 S~3PR | 第24-27页 |
| 2.4 MIP Technique | 第27-32页 |
| 3 An Optimal/Suboptimal Deadlock Prevention Policy for S~3PR | 第32-54页 |
| 3.1 Introduction | 第32-34页 |
| 3.2 Siphon Control Approach | 第34-43页 |
| 3.2.1 Siphon Control Stage | 第34-37页 |
| 3.2.2 Extended Siphon Control Stage | 第37-43页 |
| 3.3 Deadlock Prevention Algorithm | 第43-47页 |
| 3.4 Comparison and Discussion | 第47-51页 |
| 3.5 Conclusions | 第51-54页 |
| 4 Controllability of Control and Mixture Weakly Dependent Siphons in S~3PR | 第54-68页 |
| 4.1 Introduction | 第54-55页 |
| 4.2 Types of Strict Minimal Siphons | 第55-60页 |
| 4.2.1 Elementary and Dependent Siphons | 第55-56页 |
| 4.2.2 Basic, Compound, Control, and Mixture Siphons | 第56-60页 |
| 4.3 Controllability for Weakly Dependent Siphons | 第60-63页 |
| 4.4 Application | 第63-65页 |
| 4.5 Conclusions | 第65-68页 |
| 5 Enumeration of Reachable States for Arbitrary Marked Graphs | 第68-82页 |
| 5.1 Introduction | 第68-69页 |
| 5.2 Basic Definitions and Theorems | 第69-75页 |
| 5.3 Examples | 第75-81页 |
| 5.4 Conclusions | 第81-82页 |
| 6 On Efficient Estimation of Reachable States for S~3PR | 第82-100页 |
| 6.1 Introduction | 第82-83页 |
| 6.2 Estimate Approach | 第83-92页 |
| 6.2.1 Upper Bound of Reachable States | 第83-87页 |
| 6.2.2 Unreachable States Exclusion | 第87-91页 |
| 6.2.3 State Estimate Algorithm | 第91-92页 |
| 6.3 Example | 第92-94页 |
| 6.4 Comparison and Discussion | 第94-97页 |
| 6.5 Conclusions | 第97-100页 |
| 7 Conclusions and Future Work | 第100-104页 |
| 7.1 Contributions | 第100-102页 |
| 7.2 Future Work | 第102-104页 |
| Acknowledgements | 第104-106页 |
| References | 第106-116页 |
| Research Achievements | 第116-117页 |
