| 作者简介 | 第1-7页 |
| 摘要 | 第7-9页 |
| Abstract | 第9-16页 |
| 1 Introduction | 第16-22页 |
| ·Flexible Manufacturing Systems | 第16-18页 |
| ·Deadlock Control Policies in Petri Nets | 第18-19页 |
| ·Thesis Organization | 第19-22页 |
| 2 Preliminaries | 第22-40页 |
| ·Petri Nets | 第22-29页 |
| ·Basic Defnitions | 第22-27页 |
| ·Structural Invariants and Siphons | 第27-29页 |
| ·S3PR and LS3PR | 第29-31页 |
| ·Elementary and Dependent Siphons | 第31-34页 |
| ·Uncontrollable and Unobservable Transitions | 第34-35页 |
| ·An MIP-based Deadlock Detection Method | 第35-38页 |
| ·Supervision Based on Place Invariants | 第38-40页 |
| 3 Applicability of Deadlock Prevention Policies | 第40-54页 |
| ·Motivation and Introduction | 第40-41页 |
| ·Identifcation of Special Transitions | 第41-46页 |
| ·Critical Controllable and Critical Observable Transitions | 第42-45页 |
| ·An Algorithm to Identify TCand TO | 第45-46页 |
| ·Conditions of Applicability of Deadlock Prevention Policies | 第46-48页 |
| ·Examples | 第48-52页 |
| ·Conclusions | 第52-54页 |
| 4 Liveness-enforcing Supervisor for LS3PR | 第54-76页 |
| ·Introduction | 第54-56页 |
| ·Enforcement of Liveness Constraints for LS3PR | 第56-69页 |
| ·Enforcement of Constraints with Unobservable Transitions | 第58-60页 |
| ·Identifcation of Fully Secure and Risky Transitions | 第60-63页 |
| ·Enforcement of Constraints for LS3PR with Uncontrollable and Unob-servable Transitions | 第63-69页 |
| ·Algorithm to Design a Liveness-enforcing Supervisor | 第69-71页 |
| ·An Example | 第71-74页 |
| ·Conclusions | 第74-76页 |
| 5 Elementary-siphon-based Deadlock Control Policy | 第76-106页 |
| ·Introduction | 第76-77页 |
| ·Monitors for Siphons in S3PR | 第77-86页 |
| ·Monitors for Siphons in S3PR with Unobservable Transitions | 第77-82页 |
| ·Monitors for Siphons in S3PR with Uncontrollable and UnobservableTransitions | 第82-86页 |
| ·Controllability of Elementary and Dependent Siphons | 第86-92页 |
| ·Algorithm to Obtain a Live Controlled System | 第92-94页 |
| ·Examples | 第94-104页 |
| ·Conclusions | 第104-106页 |
| 6 Conclusions and Future Work | 第106-110页 |
| ·Contributions | 第106-107页 |
| ·Future Work | 第107-110页 |
| Acknowledgements | 第110-112页 |
| References | 第112-120页 |
| Research Achievements | 第120-122页 |
