| 作者简介 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-13页 |
| Symbols | 第13-16页 |
| 1 Introduction | 第16-24页 |
| ·Deadlocks in Flexible Manufacturing Systems | 第16-18页 |
| ·Deadlock Resolution Based on Petri Net Formalism | 第18-21页 |
| ·Thesis Organization | 第21-24页 |
| 2 Preliminaries | 第24-40页 |
| ·Petri Nets | 第24-32页 |
| ·Formal Definitions | 第24-28页 |
| ·Structural Properties | 第28-32页 |
| ·Graph Theory | 第32-40页 |
| ·Graphs and Their Plane Figures | 第32-35页 |
| ·Directed Graphs | 第35-40页 |
| 3 Elementary Siphons of Petri Nets | 第40-56页 |
| ·Introduction | 第40页 |
| ·Elementary and Dependent Siphons | 第40-43页 |
| ·Controllability of Dependent Siphons | 第43-56页 |
| 4 Maximally Permissive Liveness-enforcing Supervisor for S~3PR | 第56-78页 |
| ·Introduction | 第56-57页 |
| ·S~3PR | 第57-60页 |
| ·Existence of an M_P | 第60-71页 |
| ·Existence of an M_P with 2-composed Siphons | 第61-64页 |
| ·Existence of an M_P with 3-composed Siphons | 第64-69页 |
| ·Decision Algorithm for Existence of an M_P | 第69-71页 |
| ·Synthesis of an M_P for an S~3PR | 第71-72页 |
| ·Experimental Results | 第72-75页 |
| ·Conclusions | 第75-78页 |
| 5 Extraction of Elementary Siphons for WS~3PR by Using Graph Theory | 第78-98页 |
| ·Introduction | 第78-79页 |
| ·WS~3PR | 第79-81页 |
| ·Elementary Siphons in WS~3PR | 第81-95页 |
| ·Augmented and Elementary Siphons | 第81-85页 |
| ·Initial Resource Weighted Digraphs and SMS for WS~3PR | 第85-92页 |
| ·Controllability of Dependent Siphons | 第92-95页 |
| ·An Illustrative Example | 第95-97页 |
| ·Conclusions | 第97-98页 |
| 6 Extended Elementary Siphons and Their Application to Liveness-Enforcementof GLS~3PR | 第98-130页 |
| ·Introduction | 第98-99页 |
| ·GLS~3PR | 第99-102页 |
| ·Augmented and Elementary Siphons in GLS~3PR | 第102-112页 |
| ·Augmented Siphons | 第102-104页 |
| ·Elementary Siphons | 第104-109页 |
| ·Controllability of Dependent Siphons | 第109-112页 |
| ·Initial Resources Weighted Digraph and SMS for GLS~3PR | 第112-122页 |
| ·Initial Resource Weighted Digraph | 第112-117页 |
| ·Extraction of Augmented and Elementary Siphons | 第117-122页 |
| ·An Illustrative Example | 第122-128页 |
| ·Conclusions | 第128-130页 |
| 7 Extended Elementary Siphon-Based Deadlock Prevention Policy for S~4PR | 第130-156页 |
| ·Introduction | 第130页 |
| ·S~4PR Net | 第130-132页 |
| ·Elementary Siphons in S~4PR | 第132-137页 |
| ·Augmented Siphons | 第132-135页 |
| ·Elementary Siphons | 第135-137页 |
| ·Controllability of Siphons and Dependent Siphons | 第137-142页 |
| ·Controllability of Siphons | 第137-140页 |
| ·Controllability of Dependent Siphons in S~4PR | 第140-142页 |
| ·Deadlock Control Policy for S~4PR | 第142-148页 |
| ·Case Study | 第148-153页 |
| ·An Illustrative Example | 第148-153页 |
| ·Comparison of Deadlock Control Methods | 第153页 |
| ·Conclusions | 第153-156页 |
| 8 Conclusions and Future Research | 第156-160页 |
| ·Contributions | 第156-158页 |
| ·Limitations | 第158页 |
| ·Future Work | 第158-160页 |
| Acknowledgements | 第160-162页 |
| References | 第162-172页 |
| Research Achievements | 第172-174页 |
