| ABSTRACT | 第5页 |
| 摘要 | 第6-9页 |
| List of Symbols | 第9-13页 |
| Chapter 1 Introduction | 第13-17页 |
| Chapter 2 Preliminaries | 第17-29页 |
| 2.1 Multiset | 第17页 |
| 2.2 Basics of Petri Nets | 第17-20页 |
| 2.3 Behavioral Properties | 第20-22页 |
| 2.4 Reachability Tree | 第22-23页 |
| 2.5 S~3PR Models | 第23-29页 |
| Chapter 3 Enumeration of Reachable States for a Class of S~3PRs | 第29-41页 |
| 3.1 Introduction | 第29-30页 |
| 3.2 Algebraic Methods | 第30-36页 |
| 3.2.1 Number of Reachable States | 第32-35页 |
| 3.2.2 Computation of Reachable States | 第35-36页 |
| 3.3 Examples | 第36-39页 |
| 3.4 Conclusions | 第39-41页 |
| Chapter 4 Optimal Deadlock Prevention Policy for a Class of S~3PRs | 第41-49页 |
| 4.1 Introduction | 第41-42页 |
| 4.2 Resource Digraph and Siphon | 第42-43页 |
| 4.2.1 Resource Digraph | 第42页 |
| 4.2.2 Siphon | 第42-43页 |
| 4.3 Examples | 第43-47页 |
| 4.4 Conclusions | 第47-49页 |
| Chapter 5 Optimal Supervisor for Generalized Petri Nets | 第49-67页 |
| 5.1 Introduction | 第49-50页 |
| 5.2 Theory of Regions and Control Place Computation for a Place Invariant | 第50-55页 |
| 5.2.1 Theory of Regions | 第50-54页 |
| 5.2.2 Control Place Computation for a Place Invariant | 第54-55页 |
| 5.3 Marking Shadow Approach for Generalized Petri Nets | 第55-57页 |
| 5.4 Maximally Permissive Control Place Synthesis | 第57-65页 |
| 5.4.1 Supervisory Structure Synthesis | 第57-60页 |
| 5.4.2 Minimal Supervisory Structure Synthesis | 第60-65页 |
| 5.5 Conclusions | 第65-67页 |
| Chapter 6 Conclusions and Future Research | 第67-69页 |
| References | 第69-73页 |
| Acknowledgements | 第73-75页 |
| Biography | 第75-76页 |
