| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第一章 绪论 | 第9-13页 |
| ·研究背景 | 第9-10页 |
| ·Petri网研究现状及在FMS 中的应用 | 第10-11页 |
| ·Petri网国内外研究现状 | 第10页 |
| ·Petri网在FMS 中的应用 | 第10-11页 |
| ·论文研究的内容及成果 | 第11-13页 |
| ·研究方法 | 第11-12页 |
| ·研究目标 | 第12页 |
| ·创新之处 | 第12页 |
| ·论文内容组织 | 第12-13页 |
| 第二章 基于对象的扩展有色Petri网模型 | 第13-28页 |
| ·Petri网的基本理论 | 第13-19页 |
| ·Petri网的定义 | 第13-14页 |
| ·Petri网图形表示中的四种结构 | 第14页 |
| ·Petri网的标识与发射规则 | 第14-15页 |
| ·Petri网的性能定义 | 第15-16页 |
| ·Petri网的分析方法 | 第16-19页 |
| ·高级Petri网系统(HLPN) | 第19-22页 |
| ·有色网 | 第19-20页 |
| ·带时间的Petri网系统 | 第20-21页 |
| ·对象Petri网 | 第21页 |
| ·谓词/变迁网 | 第21-22页 |
| ·基于对象的扩展有色Petri网(ECPN)模型 | 第22-27页 |
| ·基于对象的扩展有色Petri网的提出 | 第22页 |
| ·有色Petri网与面向对象技术 | 第22-24页 |
| ·基于对象的扩展有色Petri网模型 | 第24-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 FMS物流系统的ECPN建模 | 第28-40页 |
| ·FMS 物流系统的分层递阶体系结构 | 第28-30页 |
| ·FMS 物流系统的物理层 | 第29页 |
| ·FMS 物流系统的抽象层 | 第29页 |
| ·FMS 物流系统的控制/决策层 | 第29-30页 |
| ·FMS 物流系统的建模过程 | 第30-39页 |
| ·系统静态分析及对象类划分 | 第31页 |
| ·对象类子网的ECPN 单元建模 | 第31-35页 |
| ·集成系统ECPN 模型 | 第35-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 FMS的物流死锁控制与分析 | 第40-48页 |
| ·国内外有关FMS 死锁的研究现状 | 第40-41页 |
| ·基于ECPN 的FMS 物流死锁定义 | 第41-42页 |
| ·基于ECPN 的多AGV 物流死锁控制 | 第42-47页 |
| ·本章小结 | 第47-48页 |
| 第五章 Visual Object Net ++环境下验证FMS物流的ECPN模型 | 第48-57页 |
| ·Visual Object Net ++仿真环境 | 第48-53页 |
| ·Visual Object Net ++仿真软件简介 | 第48页 |
| ·Visual Object Net ++仿真软件的功能及组成 | 第48-53页 |
| ·FMS 物流系统ECPN 模型的验证 | 第53-56页 |
| ·本章小结 | 第56-57页 |
| 第六章 结论与展望 | 第57-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-63页 |
| 附录(攻读硕士学位期间发表论文及科研情况) | 第63页 |
