Petri网的仿真软件的研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第一章 绪论 | 第9-15页 |
| ·问题的提出 | 第9-10页 |
| ·国内外的研究现状 | 第10-11页 |
| ·研究的目的及意义 | 第11-12页 |
| ·研究方法 | 第12-13页 |
| ·创新点 | 第13-14页 |
| ·本论文的结构安排 | 第14-15页 |
| 第二章 Petri 网的基本理论及相关技术的研究 | 第15-45页 |
| ·Petri 网基本定义及相关定理 | 第15-21页 |
| ·Petri 网的定义 | 第15-17页 |
| ·变迁的发生条件和后果 | 第17页 |
| ·Petri 网的性质 | 第17-18页 |
| ·Petri 网的分类 | 第18-20页 |
| ·Petri 网的分析技术 | 第20-21页 |
| ·Petri 网的化简技术及进一步研究 | 第21-41页 |
| ·不带抑制弧的Petri 网的化简技术 | 第21-28页 |
| ·带抑制弧的Petri 网的化简技术 | 第28-41页 |
| ·面向对象的软件再工程 | 第41-44页 |
| ·软件再工程 | 第42页 |
| ·反向工程 | 第42-43页 |
| ·软件再工程模式 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第三章 需求分析与系统功能设计及模型分析 | 第45-67页 |
| ·需求分析 | 第45-49页 |
| ·Petrilab 3.0 系统的功能设计 | 第49-66页 |
| ·对Petrilab 2.0 原有功能的修改 | 第49页 |
| ·对带抑制弧的Petri 网系统建模 | 第49-56页 |
| ·系统模型的构成 | 第56-57页 |
| ·系统模型的运行 | 第57-62页 |
| ·P/T 网的化简模块设计 | 第62-65页 |
| ·带抑制弧的Petri 网化简模块设计 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 第四章 系统模型及分析算法的设计 | 第67-75页 |
| ·系统模型设计 | 第67-70页 |
| ·MFC 简介 | 第67-68页 |
| ·系统模型构建 | 第68-70页 |
| ·重点特性的算法设计 | 第70-74页 |
| ·本章小结 | 第74-75页 |
| 第五章 建模软件的仿真与测试 | 第75-83页 |
| ·建模软件的实验 | 第75-80页 |
| ·与其它Petri 网仿真软件的对比 | 第80-81页 |
| ·测试与维护 | 第81-82页 |
| ·本章小结 | 第82-83页 |
| 第六章 结论与展望 | 第83-84页 |
| ·总结 | 第83页 |
| ·进一步的工作及展望 | 第83-84页 |
| 参考文献 | 第84-88页 |
| 致谢 | 第88-89页 |
| 附录 （攻读学位期间发表论文目录） | 第89-90页 |
| 详细摘要 | 第90-93页 |
