| 摘要 | 第1-10页 |
| Abstract | 第10-25页 |
| 1 Introduction | 第25-41页 |
| ·Overview of Automated Manufacturing Systems (AMS) | 第26-27页 |
| ·Process Routes and Resource Allocation | 第27-29页 |
| ·Deadlock Problems and their Resolution | 第29-31页 |
| ·Background and Literature Review | 第31-38页 |
| ·Thesis Organization | 第38-41页 |
| 2 Preliminaries of Petri Nets | 第41-49页 |
| ·Introduction | 第41页 |
| ·Basic Definitions | 第41-44页 |
| ·Structural Invariants | 第44-45页 |
| ·Siphons and Traps | 第45-46页 |
| ·Petri Net Classes | 第46-47页 |
| ·Timed Petri Nets | 第47-48页 |
| ·Summary | 第48-49页 |
| 3 Elementary Siphon-Based Iterative Deadlock Resolution | 第49-69页 |
| ·Introduction | 第49-50页 |
| ·Sub-optimal Elementary Siphons in Petri Nets | 第50-54页 |
| ·Enumeration and Control of Sub-optimal Elementary Siphons | 第54-62页 |
| ·Flexibility Enhancement | 第62-63页 |
| ·Experimental Results | 第63-66页 |
| ·Summary | 第66-69页 |
| 4 Deadlock Resolution Using General Nets with Sequential Processes | 第69-87页 |
| ·Introduction | 第69-70页 |
| ·Systems of Sequential Systems with Shared Resources | 第70-72页 |
| ·Insu?ciently Marked Siphons | 第72-75页 |
| ·Control of Insu?ciently Marked Siphons | 第75-80页 |
| ·Supervisor Synthesis Policy | 第75-77页 |
| ·Simplification of Supervisor Structure | 第77-80页 |
| ·An Illustrative Example | 第80-85页 |
| ·Summary | 第85-87页 |
| 5 Liveness and Ratio-enforcing Supervision of AMS with Flexible Routes | 第87-105页 |
| ·Introduction | 第87-88页 |
| ·Ratio-enforced AMS and Petri Net Models | 第88-91页 |
| ·Separability of Ratio and Liveness Enforcements | 第91-92页 |
| ·Algebraic Method to Synthesize Liveness-enforcing Supervisor | 第92-99页 |
| ·Transformation of S~4R to PT-ordinary nets | 第93-95页 |
| ·Algebraic Method to Derive Empty Siphons | 第95-96页 |
| ·Supervisor Synthesis | 第96-99页 |
| ·AMS Example | 第99-104页 |
| ·Summary | 第104-105页 |
| 6 Liveness and Ratio-enforcing Supervision of AMS with Assembly Operations .. | 第105-125页 |
| ·Introduction | 第105页 |
| ·AMS and Petri Net Models | 第105-113页 |
| ·Ratio-enforced Weighted Augmented Marked Graphs | 第106-111页 |
| ·Principle of Separation | 第111-113页 |
| ·Iterative Methods for Supervisor Design | 第113-118页 |
| ·Detection of Siphons via Mathematical Programming | 第113-115页 |
| ·Liveness Enforcement | 第115-118页 |
| ·Illustrative Example | 第118-124页 |
| ·Summary | 第124-125页 |
| 7 Supervisor Optimization for Deadlock Resolution in AMS | 第125-151页 |
| ·Introduction | 第125-126页 |
| ·Supervisor Optimization | 第126-135页 |
| ·Preliminaries on Supervisory Control Using General Mutual Exclusion Constraints | 第126-127页 |
| ·Optimization for Improved Petri Net Monitor Design | 第127-135页 |
| ·Low-cost Supervisor Design for S~4R | 第135-138页 |
| ·Illustrative Example | 第138-140页 |
| ·Performance Evaluation | 第140-143页 |
| ·Extension to Timed S~4R | 第143-149页 |
| ·Liveness Analysis of Timed S~4R | 第143-145页 |
| ·Computation of Minimum Cycle Time for Timed S~4R | 第145-147页 |
| ·Supervisor Design for Timed S~4R | 第147-149页 |
| ·Summary | 第149-151页 |
| 8 Low-Cost and High-Performance Supervision for Ratio-Enforced AMS | 第151-169页 |
| ·Introduction | 第151页 |
| ·Timed Ratio-enforced Augmented Marked Graph (TAMG) | 第151-158页 |
| ·The class of TAMG Models | 第152-154页 |
| ·Liveness Analysis | 第154-155页 |
| ·Computation of Minimum Cycle Time | 第155-158页 |
| ·Supervisor Synthesis and Optimization for Liveness Enforcement | 第158-163页 |
| ·Liveness Supervision Using General Mutual Exclusion Constraints | 第158-160页 |
| ·Supervisor Design Method | 第160-163页 |
| ·Illustrative Example | 第163-166页 |
| ·Summary | 第166-169页 |
| 9 Algebraic Synthesis of Timed Supervisor for AMS | 第169-185页 |
| ·Introduction | 第169页 |
| ·System of Sequential Systems with Shared Resources and Global Time (S~4RGT) | 第169-174页 |
| ·S~4RGT Models | 第170-171页 |
| ·Live S~4RGT | 第171页 |
| ·Monitor Design Using the Theory of Regions | 第171-174页 |
| ·Timed General Mutual Exclusion Constraints and their Algebraic Implementation | 第174-179页 |
| ·Illustrative Example | 第179-182页 |
| ·Experimental Results | 第182-183页 |
| ·Summary | 第183-185页 |
| 10 Conclusions and Future Research | 第185-191页 |
| ·Contributions | 第185-188页 |
| ·Limitations and Future Research | 第188-191页 |
| Acknowledgements | 第191-193页 |
| References | 第193-213页 |
| Finished Papers | 第213-221页 |
| Honors, Awards, and Professional Activities | 第221-224页 |
