声明
List of Figures
List of Tables
List of Symbols
List of Abbreviations
Chapter 1 Introduction
1.1 Background
1.2 Robust Deadlock Control Method for AMSs
1.3 Organization
Chapter 2 Preliminaries
2.1 Basics of Petri Nets
2.2 Subclasses of PN
2.3 AMS with Unreliable Resources
2.4 Summary
Chapter 3 Robust Deadlock Control Based on MIP for S3PRu
3.1 Control Places Formation
3.2 MIP Process
3.3 Examples
3.4 Summary
Chapter 4 Robust Deadlock Control Based on MIP for GS3PRu
4.1 Max′-Controllability
4.2 Control Places Formation
4.3 MIP Process
4.4 Examples
4.5 Remark
4.6 Summary
Chapter 5 Conclusions
参考文献
致谢
Biography
