| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景与意义 | 第7-10页 |
| ·Petri网的研究背景 | 第7-8页 |
| ·死锁的产生及其控制方法 | 第8-9页 |
| ·本文研究的意义 | 第9-10页 |
| ·本文完成的主要工作 | 第10-11页 |
| 第二章 PETRI网基本理论 | 第11-17页 |
| ·PETRI网的基本理论 | 第11-15页 |
| ·Petri网的简单建模 | 第11-12页 |
| ·Petri网的基本定义 | 第12-13页 |
| ·Petri网的活性分析 | 第13-14页 |
| ·结构不变式的定义及性质 | 第14页 |
| ·信标与陷阱的定义和性质 | 第14-15页 |
| ·小结 | 第15-17页 |
| 第三章 RMIP求取严格极小信标的理论 | 第17-33页 |
| ·MIP算法基本知识 | 第17-20页 |
| ·MIP求取最大空信标的算法 | 第17-20页 |
| ·最大空信标求取严格极小信标算法[9] | 第20页 |
| ·RMIP求取严格极小信标的算法 | 第20-21页 |
| ·RMIP算法求取严格极小信标实例验证 | 第21-26页 |
| ·广义互斥约束 | 第26-28页 |
| ·基于普通网的RMIP迭代控制算法---O-RMIP | 第28-29页 |
| ·O-RMIP算法实例验证 | 第29-31页 |
| ·本章小结 | 第31-33页 |
| 第四章 基于多种权值分解方法的死锁迭代控制策略 | 第33-57页 |
| ·两种权值转化方法 | 第33-42页 |
| ·L-TRANS转化算法及理论证明 | 第33-37页 |
| ·I-TRANS转化算法及理论证明 | 第37-41页 |
| ·两种权值转化算法比较以及改进的NI-TRANS算法 | 第41-42页 |
| ·网的返回转化 | 第42页 |
| ·冗余控制库所 | 第42-43页 |
| ·基于一般网的G-RMIP迭代控制策略 | 第43-49页 |
| ·基于一般网的G-RMIP 迭代控制策略 | 第43-45页 |
| ·G-RMIP 迭代控制算法对 L-TRANS 转化正确性的实例验证 | 第45-47页 |
| ·G-RMIP 迭代控制算法分析 | 第47-49页 |
| ·R G-RMIP 迭代控制算法 | 第49-56页 |
| ·死锁检测 | 第49-50页 |
| ·基于针对一般网的改进 RMIP 迭代控制策略 R G- RMIP | 第50-52页 |
| ·RG-RMIP 迭代控制策略实例验证 | 第52-56页 |
| ·小结 | 第56-57页 |
| 第五章 总结与展望 | 第57-59页 |
| ·论文总结 | 第57-58页 |
| ·研究展望 | 第58-59页 |
| 致谢 | 第59-61页 |
| 参考文献 | 第61-64页 |
