| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| GLOSSARY | 第11-14页 |
| ABBREVIATION | 第14-17页 |
| Chapter 1 Introduction | 第17-27页 |
| 1.1 Flexible Manufacturing Systems and Deadlocks | 第17-19页 |
| 1.2 Petri Net Based Deadlock Resolution in FMSs | 第19-24页 |
| 1.3 Thesis Organization | 第24-27页 |
| Chapter 2 Preliminaries of Petri Nets | 第27-47页 |
| 2.1 Multisets | 第27页 |
| 2.2 Formal De?nitions | 第27-34页 |
| 2.3 Structural Invariants | 第34-36页 |
| 2.4 Siphons and Traps | 第36-38页 |
| 2.5 Reachability Graph | 第38-40页 |
| 2.6 Subclasses of Petri nets | 第40-43页 |
| 2.7 Plants, Supervisors, and Controlled Systems | 第43-45页 |
| 2.8 Summary | 第45-47页 |
| Chapter 3 Computation of Reachable MarkingsBased on Structural Analysis | 第47-67页 |
| 3.1 Introduction | 第47-48页 |
| 3.2 Pipe-Line Nets (PLNs) | 第48-51页 |
| 3.3 Reachability Analysis for a PLN | 第51-59页 |
| 3.3.1 The Set of Invariant Markings and Strict Minimal Siphons | 第51-53页 |
| 3.3.2 A Suffcient and Necessary Condition for Reachability in PLNs | 第53-56页 |
| 3.3.3 An Algorithm for Computing the Set of Reachable Markings | 第56-59页 |
| 3.4 Illustrative Examples | 第59-64页 |
| 3.5 Experimental Results | 第64-65页 |
| 3.6 Summary | 第65-67页 |
| Chapter 4 A Method of Computing theReachability Set for LS~3PR | 第67-83页 |
| 4.1 Introduction | 第67-68页 |
| 4.2 Computation of the Set of Reachable Markings of An LS3PR with Speci?cResource Places | 第68-76页 |
| 4.2.1 A Suffcient and Necessary Condition to Identify the Spurious Markings | 第68-73页 |
| 4.2.2 An Algorithm for Computing the Set of Reachable Markings | 第73-76页 |
| 4.3 Examples | 第76-82页 |
| 4.4 Summary | 第82-83页 |
| Chapter 5 Transition-Based Deadlock ControlPolicy Using Reachability Graph | 第83-97页 |
| 5.1 Introduction | 第83-84页 |
| 5.2 Computation of Control Transitions | 第84-88页 |
| 5.3 Deadlock Control Policy | 第88-89页 |
| 5.4 An Illustrative Example | 第89-95页 |
| 5.5 Summary | 第95-97页 |
| Chapter 6 An Optimal Deadlock AvoidancePolicy for a Special Class of S~3PR | 第97-115页 |
| 6.1 Introduction | 第97-98页 |
| 6.2 A Suffcient and Necessary Condition of Optimal Deadlock Avoidance Policyfor S3PR | 第98-105页 |
| 6.3 Existence of an Optimal Supervisor for Weakly-dependant S3PR | 第105-112页 |
| 6.3.1 Weakly-dependant S3PR | 第105-106页 |
| 6.3.2 A Suffcient Condition for the Existence of Optimal Supervisor | 第106-112页 |
| 6.4 An Illustrative Example | 第112-113页 |
| 6.5 Discussion and Summary | 第113-115页 |
| Chapter 7 Conclusions and Future Research | 第115-117页 |
| 7.1 Contributions | 第115-116页 |
| 7.2 Future Work | 第116-117页 |
| References | 第117-125页 |
| Acknowledgements | 第125-127页 |
| About the Author | 第127-129页 |
