自动制造系统的Petri网鲁棒优化控制器设计

目录

声明

List of Figures

List of Tables

List of Symbols

List of Abbreviations

Chapter 1 Introduction

1.2 Robust deadlock control for AMSs

1.3 Thesis organization

Chapter 2 Preliminaries

2.1 Basics of Petri nets

2.2 GS3PR

2.3 M-nets

2.4 Reachability graph

2.5 Control place computation based on place invariant

2.6 Multisets

2.7 Conclusion

Chapter 3 Robust Deadlock Control Based on Reachability Graph for U-GS3PR

3.1 U-GS3PR with a workpiece/resource separation recovery subnet

3.2 Robust analysis based on U-GS3PR

3.3 Robust deadlock control strategy based on place invariant

3.4 Robust deadlock control strategy based on interval inhibitor arc

3.5 Examples

3.6 Conclusion

Chapter 4 Robust Deadlock Control Based on Reachability Graph for U-M-nets

4.1 U-M-nets with a workpiece/resource separation and return reliable resource recovery subnet

4.2 Robust analysis based on U-M-nets

4.3 An improved robust analysis based on U-M-nets with simplified Petri nets

4.4 Examples

4.5 Conclusion

Chapter 5 Conclusions and Future Work

参考文献

致谢

Biography