《复杂智能制造系统死锁控制:英文》由杨妍等著

Chapter 1 Introduction
1.1 Deadlock solutions
1.2 Deadlock prevention review
1.3 Deadlock avoidance review
1.4 Thesis organization
References
Chapter 2 Preliminaries of Petri Nets
2.1 Preliminaries
2.2 Structural invariants
2.3 Siphons and traps
2.4 Main structures modeled with Petri net
References
Chapter 3 A Petri Net-based Distributed Control of Assembly Systems
3.1 Petri net-based models with assembly operations
3.2 F-AMG models
3.3 Distributed control of F-AMGs
3.3.1 Critical places in F-AMGs
……