| 作者简介 | 第1-7页 |
| 摘要 | 第7-8页 |
| Abstract | 第8-12页 |
| 1 Introduction | 第12-18页 |
| ·Flexible manufacturing systems,deadlock control,and Petri nets | 第12-15页 |
| ·Thesis organization | 第15-18页 |
| 2 Preliminaries of Petri Nets | 第18-22页 |
| 3 Systems of Simple Sequential Processes with Weighted Resource Allocation | 第22-32页 |
| ·WS~3PR | 第22-26页 |
| ·Circuilar wait and circular blocking in WS~3PR | 第26-32页 |
| 4 Intrinsically Live Structure | 第32-52页 |
| ·Introduction | 第32-33页 |
| ·Intrinsically live structure | 第33-40页 |
| ·Algorithm and examples | 第40-49页 |
| ·Discussion | 第49-51页 |
| ·Summary | 第51-52页 |
| 5 Hybrid Liveness-enforcing Method for WS~3PR | 第52-68页 |
| ·Introduction | 第52-53页 |
| ·Liveness-enforcement in WS~3PR | 第53-62页 |
| ·Liveness-enforcement based on elementary siphons | 第53-55页 |
| ·Liveness-enforcement based on intrinsically live structures | 第55-62页 |
| ·Hybrid liveness-enforcing policy | 第62-67页 |
| ·Summary | 第67-68页 |
| 6 Parameterized Liveness and Ratio-enforcing Supervisor for WS~3PR | 第68-86页 |
| ·Introduction | 第68-70页 |
| ·Liveness and ratio-enforcement in WS~3PR | 第70-81页 |
| ·Resource usage ratio | 第70-73页 |
| ·Ratio analysis of an intrinsically live structure | 第73-77页 |
| ·Synthesis of liveness and ratio-enforcing supervisors | 第77-81页 |
| ·Discussion | 第81-84页 |
| ·Summary | 第84-86页 |
| 7 Liveness-enforcement for WS~3PR Using a Divide-and-Conquer Paradigm | 第86-102页 |
| ·Introduction | 第86-88页 |
| ·Dived-and-conquer strategy | 第88-98页 |
| ·Primary separation of toparchies | 第89-92页 |
| ·Advanced separation of toparchies | 第92-96页 |
| ·Toparch and controlled WS~3PR synthesis | 第96-98页 |
| ·Discussion | 第98-101页 |
| ·Summary | 第101-102页 |
| 8 Iterative Liveness-enforcement for WS~3PR | 第102-108页 |
| ·Introduction | 第102-103页 |
| ·Live-ess and ratio-enforcing supervisor | 第103-104页 |
| ·MIP and LRS | 第104-107页 |
| ·Summary | 第107-108页 |
| 9 On Intrinsically Live Structure of GS3PR Modeling FMS | 第108-120页 |
| ·Introduction | 第108-109页 |
| ·GS3PR | 第109-112页 |
| ·ILS in GS3PR | 第112-119页 |
| ·Summary | 第119-120页 |
| 10 Conclusion | 第120-124页 |
| ·Research contributions | 第120-123页 |
| ·Future work | 第123-124页 |
| Acknowledgements | 第124-126页 |
| References | 第126-136页 |
| Research Achievements | 第136-140页 |
| Awards and Professional Activities | 第140-141页 |
