论文目录 | |
| ABSTRACT | 第1-6页 |
| 摘要 | 第7-10页 |
| List of Symbols | 第10-12页 |
| List of Abbreviations | 第12-15页 |
| Chapter 1 Introduction | 第15-21页 |
| 1.1 Background | 第15-16页 |
| 1.2 Robust deadlock control for AMSs | 第16-18页 |
| 1.3 Thesis organization | 第18-21页 |
| Chapter 2 Preliminaries | 第21-33页 |
| 2.1 Basics of Petri nets | 第21-23页 |
| 2.2 GS3PR | 第23-26页 |
| 2.3 M-nets | 第26-28页 |
| 2.4 Reachability graph | 第28-29页 |
| 2.5 Control place computation based on place invariant | 第29-30页 |
| 2.6 Multisets | 第30-31页 |
| 2.7 Conclusion | 第31-33页 |
| Chapter 3 Robust Deadlock Control Based on Reachability Graph for U-GS3PR | 第33-55页 |
| 3.1 U-GS~3PR with a workpiece/resource separation recovery subnet | 第33-36页 |
| 3.2 Robust analysis based on U-GS3PR | 第36-40页 |
| 3.3 Robust deadlock control strategy based on place invariant | 第40-43页 |
| 3.4 Robust deadlock control strategy based on interval inhibitor arc | 第43-49页 |
| 3.5 Examples | 第49-53页 |
| 3.6 Conclusion | 第53-55页 |
| Chapter 4 Robust Deadlock Control Based on Reachability Graph for U-M-nets | 第55-73页 |
| 4.1 U-M-nets with a workpiece/resource separation and return reliable resourcerecovery subnet | 第55-59页 |
| 4.2 Robust analysis based on U-M-nets | 第59-61页 |
| 4.3 An improved robust analysis based on U-M-nets with simplified Petri nets | 第61-66页 |
| 4.4 Examples | 第66-70页 |
| 4.5 Conclusion | 第70-73页 |
| Chapter 5 Conclusions and Future Work | 第73-75页 |
| References | 第75-81页 |
| Acknowledgements | 第81-83页 |
| Biography | 第83-84页 |
