作者简介 | 第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页 |