| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景与意义 | 第7-10页 |
| ·本文完成的主要工作 | 第10-11页 |
| 第二章 Petri网基本理论及建模 | 第11-19页 |
| ·Petri网基本定义及性质 | 第11-13页 |
| ·Petri网的概念及基本定义 | 第11-12页 |
| ·Petri网的活性及不变式 | 第12-13页 |
| ·信标和陷阱的定义和性质 | 第13页 |
| ·Petri网实例分析 | 第13-15页 |
| ·Petri网模型的建立 | 第15-17页 |
| ·Petri网建模 | 第15-16页 |
| ·柔性制造系统的Petri网模型 | 第16-17页 |
| ·本章小结 | 第17-19页 |
| 第三章 S~3PR网定义及网模型 | 第19-23页 |
| ·S~3PR简介及基本概念 | 第19-20页 |
| ·S~3PR对FMS建模实例 | 第20-22页 |
| ·本章小结 | 第22-23页 |
| 第四章 基本信标理论以及基于基本信标的死锁预防策略 | 第23-31页 |
| ·Petri网基本信标理论 | 第23-24页 |
| ·基本信标 | 第23页 |
| ·从属信标 | 第23-24页 |
| ·Petri网基本信标实例分析 | 第24-26页 |
| ·基于基本信标的死锁预防算法 | 第26-30页 |
| ·本章小结 | 第30-31页 |
| 第五章 改进的死锁预防策略 | 第31-43页 |
| ·当前死锁预防算法简介 | 第31-32页 |
| ·Ezpeleta死锁预防策略 | 第32-34页 |
| ·基于隐式库所的网模型简化方法 | 第34-36页 |
| ·隐式库所基本概念 | 第34-36页 |
| ·隐式库所的剔除算法 | 第36页 |
| ·改进的死锁预防策略 | 第36-38页 |
| ·死锁预防算法 | 第37-38页 |
| ·算法证明 | 第38页 |
| ·死锁预防算法的实例应用 | 第38-41页 |
| ·死锁预防算法实例应用对比 | 第41-42页 |
| ·控制器结构的的比较 | 第41页 |
| ·控制效果的比较 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 第六章 死锁预防算法在FMS中的应用 | 第43-53页 |
| ·柔性制造系统特点简介 | 第43页 |
| ·死锁预防算法实例应用 | 第43-51页 |
| ·模型的建立 | 第43-45页 |
| ·算法应用 | 第45-48页 |
| ·隐式库所的确定和剔除 | 第48-51页 |
| ·本章小结 | 第51-53页 |
| 结束语 | 第53-55页 |
| 致谢 | 第55-57页 |
| 参考文献 | 第57-60页 |