基于Petri网的制造系统建模仿真及调度研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-6页 |
| 目录 | 第6-8页 |
| 1、绪论 | 第8-13页 |
| ·研究背景 | 第8-9页 |
| ·国内外研究现状 | 第9-11页 |
| ·研究内容及意义 | 第11页 |
| ·研究内容 | 第11页 |
| ·研究意义 | 第11页 |
| ·本论文内容组织 | 第11-13页 |
| 2、Petri网理论 | 第13-25页 |
| ·Petri网的引入 | 第13-14页 |
| ·Petri网的定义和特点 | 第14-16页 |
| ·Petri网的动态性质 | 第16-19页 |
| ·可达性 | 第16-17页 |
| ·有界性和安全性 | 第17页 |
| ·活性 | 第17-18页 |
| ·可逆性与主宿状态 | 第18-19页 |
| ·平衡性 | 第19页 |
| ·Petri网的分析方法 | 第19-22页 |
| ·基于可达(标识)图分析 | 第20-21页 |
| ·基于不变量的分析 | 第21-22页 |
| ·扩展的Petri网 | 第22-23页 |
| ·赋时Petri网 | 第23页 |
| ·着色Petri网 | 第23页 |
| ·Petri网在制造系统建模应用中的优势 | 第23-24页 |
| ·小结 | 第24-25页 |
| 3、制造系统的基本Petri网建模 | 第25-38页 |
| ·制造系统的若干基本Petri网模型示例 | 第25-29页 |
| ·缓冲区模型 | 第26-27页 |
| ·传送带模型 | 第27页 |
| ·描述制造系统的并行与同步特征的模型 | 第27-28页 |
| ·描述制造系统资源竞争的模型 | 第28-29页 |
| ·一个生产单元的Petri网建模 | 第29-33页 |
| ·基本Petri网建模的步骤 | 第29页 |
| ·某工厂冲压车间模型的建立 | 第29-33页 |
| ·冲压车间Petri网模型性能分析 | 第33-37页 |
| ·生成可达图的算法 | 第33-34页 |
| ·冲压车间Petri网模型的可达树生成 | 第34-36页 |
| ·基于可达图的性能分析 | 第36-37页 |
| ·小结 | 第37-38页 |
| 4、基于赋时库所Petri网制造系统模型的调度 | 第38-51页 |
| ·赋时库所Petri网 | 第38-39页 |
| ·赋时Petri网在生产调度中的应用 | 第39-45页 |
| ·生产调度问题 | 第39-40页 |
| ·调度模型的建立 | 第40-45页 |
| ·基于TPPN调度问题研究 | 第45-50页 |
| ·基于A~*算法的Petri网调度算法 | 第46-48页 |
| ·调度结果与讨论 | 第48-50页 |
| ·小结 | 第50-51页 |
| 5、冲压车间TPPN模型仿真验证 | 第51-61页 |
| ·仿真的意义 | 第51-52页 |
| ·仿真软件介绍 | 第52-53页 |
| ·仿真模型的建立 | 第53-56页 |
| ·仿真验证与调度讨论 | 第56-60页 |
| ·对计算结果的仿真验证 | 第56-58页 |
| ·调度结果讨论 | 第58-60页 |
| ·小结 | 第60-61页 |
| 6、总结与展望 | 第61-63页 |
| 参考文献 | 第63-69页 |
| 攻读学位期间取得的研究成果 | 第69-70页 |
| 致谢 | 第70-72页 |
