| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-16页 |
| ·问题的提出 | 第10-11页 |
| ·国内外的研究现状 | 第11-13页 |
| ·研究的目的和意义 | 第13-14页 |
| ·研究方法 | 第14页 |
| ·创新点 | 第14-15页 |
| ·本文的工作和内容安排 | 第15-16页 |
| 第二章 PETRI 网的基本理论与面向对象的软件再工程 | 第16-27页 |
| ·PETRI 网基本理论 | 第16-22页 |
| ·Petri 网的定义 | 第16-17页 |
| ·变迁的发生条件和后果 | 第17-18页 |
| ·Petri 网的性质 | 第18-19页 |
| ·Petri 网的分类 | 第19-21页 |
| ·Petri 网的分析技术 | 第21-22页 |
| ·Petri 网的性能指标 | 第22页 |
| ·软件再造：面向对象的软件再工程模式 | 第22-26页 |
| ·软件再工程 | 第22-23页 |
| ·反向工程 | 第23-24页 |
| ·软件再工程模式 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 需求分析和系统功能设计及建模 | 第27-55页 |
| ·需求分析 | 第27-29页 |
| ·系统的功能设计 | 第29-48页 |
| ·对Petrilab 1.0 原有功能的修改 | 第29-30页 |
| ·对基本网和不带约束弧的自控网系统建模 | 第30-31页 |
| ·对带约束弧的自控网建模 | 第31-33页 |
| ·约束弧对象和系统中其他对象的交互 | 第33-36页 |
| ·静态结构分析模块的功能设计 | 第36-39页 |
| ·动态行为分析模块的功能设计 | 第39-48页 |
| ·化简模块的设计 | 第48页 |
| ·建模软件的系统模型分析 | 第48-54页 |
| ·系统模型的构成 | 第48-50页 |
| ·系统模型的运行 | 第50-54页 |
| ·本章小结 | 第54-55页 |
| 第四章 系统设计与算法设计 | 第55-61页 |
| ·系统设计 | 第55-57页 |
| ·MFC 简介 | 第55页 |
| ·系统模型构建 | 第55-57页 |
| ·算法设计 | 第57-60页 |
| ·本章小结 | 第60-61页 |
| 第五章 建模软件的实验与测试 | 第61-70页 |
| ·实验 | 第61-66页 |
| ·与其他PETRI 网仿真软件的比较 | 第66-68页 |
| ·测试与维护 | 第68-69页 |
| ·本章小结 | 第69-70页 |
| 结论与展望 | 第70-71页 |
| 参考文献 | 第71-74页 |
| 致谢 | 第74-75页 |
| 附录（攻读学位期间发表论文目录） | 第75页 |