摘要 | 第1-4页 |
Abstract | 第4-7页 |
第一章 绪论 | 第7-13页 |
·研究背景与意义 | 第7-12页 |
·本文完成的主要工作 | 第12-13页 |
第二章 Petri网的基本理论及分析技术 | 第13-21页 |
·Petri网的基本理论 | 第13-17页 |
·Petri网的基本定义 | 第13-15页 |
·Petri网的结构特性 | 第15-16页 |
·Petri网的基本性质 | 第16-17页 |
·多集 | 第17页 |
·Petri网模型的分析技术 | 第17-18页 |
·实例分析 | 第18-20页 |
·本章小结 | 第20-21页 |
第三章 柔性制造系统的Petri网模型 | 第21-29页 |
·FMS的Petri网模型的建立 | 第21-23页 |
·WS~3PR网模型 | 第23-26页 |
·S~4R网模型 | 第26-28页 |
·本章小结 | 第28-29页 |
第四章 基于信标最大可控的死锁预防策略 | 第29-37页 |
·基本定义及理论 | 第29-32页 |
·非最大标记信标的求取 | 第32-34页 |
·死锁预防算法 | 第34-36页 |
·本章小结 | 第36-37页 |
第五章 基于max’-controlled信标的死锁预防策略 | 第37-49页 |
·引言 | 第37-38页 |
·non-max’-marked信标 | 第38-46页 |
·基本定义及理论 | 第38-40页 |
·non-max’-marked信标的求取 | 第40-46页 |
·改进的死锁预防算法 | 第46-48页 |
·本章小结 | 第48-49页 |
第六章 死锁预防策略在FMS中的应用实例 | 第49-59页 |
·死锁预防策略在FMS中的应用实例一 | 第49-52页 |
·模型的建立及算法的应用 | 第49-51页 |
·算法比较分析 | 第51-52页 |
·死锁预防策略在FMS中的应用实例二 | 第52-58页 |
·模型的建立及算法的应用 | 第52-57页 |
·算法比较分析 | 第57-58页 |
·本章小结 | 第58-59页 |
第七章 总结与展望 | 第59-61页 |
·论文总结 | 第59-60页 |
·前景展望 | 第60-61页 |
致谢 | 第61-63页 |
参考文献 | 第63-66页 |