| 第一章 绪论 | 第1-9页 |
| 1．1 研究背景与意义 | 第7-8页 |
| 1．2 本文完成的主要工作 | 第8-9页 |
| 第二章 Petri网理论 | 第9-13页 |
| 2．1 基本定义 | 第9-11页 |
| 2．2 基本性质 | 第11-13页 |
| 第三章 基于Petri网的系统建模与分析 | 第13-16页 |
| 3．1 基于Petri网的系统建模 | 第13-14页 |
| 3．2 基于Petri网的系统分析 | 第14-16页 |
| 第四章 常用Petri网网络模型 | 第16-19页 |
| 4．1 S~3PR | 第16-17页 |
| 4．2 RCN合并网 | 第17-18页 |
| 4．3 AC网 | 第18页 |
| 4．4 FC网 | 第18-19页 |
| 第五章 Petri网中的基本信标 | 第19-26页 |
| 5．1 Petri网中的基本信标与从属信标 | 第19-22页 |
| 5．2 基于基本信标的死锁预防策略 | 第22-26页 |
| 第六章 基本信标计算方法Ⅰ | 第26-28页 |
| 第七章 基本信标计算方法Ⅱ | 第28-33页 |
| 7．1 弱从属信标存在的必要条件 | 第28-30页 |
| 7．2 算法的时间复杂性验证 | 第30页 |
| 7．3 实例 | 第30-33页 |
| 第八章 MIP(混合整数规划法)算法 | 第33-41页 |
| 8．1 死锁检测 | 第33-35页 |
| 8．2 混合整数规划法 | 第35-41页 |
| 第九章 基于MIP算法的Petri网活性检验 | 第41-50页 |
| 9．1 MIP算法在AC，FC网系统中的应用 | 第41-46页 |
| 9．2 MIP算法在S~3PR网系统中的应用 | 第46-50页 |
| 第十章 基于MIP算法的Petri网中的死锁预防策略Ⅰ | 第50-53页 |
| 第十一章 基于MIP算法的Petri网中的死锁预防策略Ⅱ | 第53-57页 |
| 第十二章 基于MIP算法的Petri网中的死锁预防策略在FMS的应用 | 第57-64页 |
| 结束语 | 第64-65页 |
| 致谢 | 第65-66页 |
| 参考文献 | 第66-68页 |
| 在读期间研究成果 | 第68页 |
