附件 | 第4-6页 |
摘要 | 第6-8页 |
Abstract | 第8-9页 |
Symbols | 第12-14页 |
Chapter 1 ntroduction | 第14-22页 |
1.1 Fault Diagnosis and Control in Discrete Event Systems | 第14-15页 |
1.2 Confusions in Discrete Event Systems | 第15-20页 |
1.3 Thesis Organization | 第20-22页 |
Chapter 2 Preliminaries | 第22-36页 |
2.1 Petri Nets | 第22-28页 |
2.2 Synchronized Petri Nets and External Event Control | 第28-36页 |
Chapter 3 Confusion Analysis in Petri Nets | 第36-48页 |
3.1 Motivation | 第36-38页 |
3.2 Conflict and Concurrency in Petri Nets | 第38-40页 |
3.3 Conflict-increasing and Conflict-decreasing Confusions | 第40-46页 |
3.4 Conclusions | 第46-48页 |
Chapter 4 Confusion Diagnosis Methods | 第48-70页 |
4.1 Motivation | 第48页 |
4.2 Confusion On-line Detection Policies | 第48-57页 |
4.2.1 Inquiry Functions | 第49-53页 |
4.2.2 Detection Theory and On-line Algorithms | 第53-57页 |
4.3 Confusion Off-line Detection Policies | 第57-68页 |
4.3.1 RGC2 and Off-line Detection Algorithms | 第58-68页 |
4.4 Conclusions | 第68-70页 |
Chapter 5 Confusion Control and Avoidance | 第70-98页 |
5.1 Motivation | 第70-71页 |
5.2 Confusion Control Using Synchronized Petri Nets | 第71-78页 |
5.3 Supervisory Control of Confusions | 第78-95页 |
5.3.1 A Pure Net Control Policy | 第79-89页 |
5.3.2 A Non-pure Net Control Policy | 第89-95页 |
5.4 Conclusion | 第95-98页 |
Chapter 6 Confusions in Workflow Nets | 第98-108页 |
6.1 Motivation | 第98-99页 |
6.2 Preliminary of Workflow Nets | 第99-101页 |
6.3 Confusion Detection in Sound Workflow Nets | 第101-104页 |
6.4 Impacts of Confusions on Workflow Nets | 第104-106页 |
6.5 Conclusion | 第106-108页 |
Chapter 7 Conclusions and Future Research | 第108-112页 |
7.1 Contributions | 第108-109页 |
7.2 Future Work | 第109-112页 |
Acknowledgements | 第112-114页 |
References | 第114-122页 |
Research Achievements | 第122-123页 |