| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 第一章 绪论 | 第7-12页 |
| 1.1 研究背景及意义 | 第7-8页 |
| 1.2 研究动态及现状分析 | 第8-10页 |
| 1.2.1 常见的Petri网化简技术 | 第9页 |
| 1.2.2 带时间权值Petri网化简面临的问题 | 第9-10页 |
| 1.3 研究意义 | 第10页 |
| 1.4 主要工作 | 第10-11页 |
| 1.5 本论文的结构安排 | 第11-12页 |
| 第二章 相关研究基础 | 第12-21页 |
| 2.1 含时间因素的Petri网 | 第12-18页 |
| 2.1.1 Petri网 | 第12-16页 |
| 2.1.2 时间Petri网 | 第16-18页 |
| 2.2 软件演化过程 | 第18页 |
| 2.3 软件演化过程元模型EPMM | 第18-21页 |
| 第三章 基于时间约束的EPMM改进 | 第21-27页 |
| 3.1 延迟时间Petri网 | 第21-22页 |
| 3.2 增加时间权值的EPMM | 第22页 |
| 3.3 DTEPMM的状态定义 | 第22-25页 |
| 3.4 DTEPMM与原模型无矛盾的说明 | 第25-26页 |
| 3.5 DTEPMM的相关符号说明 | 第26-27页 |
| 第四章 DTEPMM的化简 | 第27-49页 |
| 4.1 基于变迁融合的化简规则 | 第27-44页 |
| 4.1.1 顺序结构的变迁融合化简规则 | 第27-35页 |
| 4.1.2 冲突结构变迁的融合化简 | 第35-39页 |
| 4.1.3 并发结构变迁的融合化简 | 第39-43页 |
| 4.1.4 冗余变迁的化简 | 第43-44页 |
| 4.2 基于库所融合的化简规则 | 第44-47页 |
| 4.2.1 并发结构库所的化简 | 第44-46页 |
| 4.2.2 冗余库所的化简 | 第46-47页 |
| 4.3 相比TPN化简的优势举例 | 第47-49页 |
| 第五章 DTEPMM化简实例 | 第49-57页 |
| 5.1 基于延迟时间Petri网的软件演化过程建模 | 第49-50页 |
| 5.2 螺旋演化过程模型化简 | 第50-57页 |
| 第六章 总结与展望 | 第57-60页 |
| 6.1 本文主要工作 | 第57-58页 |
| 6.2 研究方法分析 | 第58页 |
| 6.3 未来工作展望 | 第58-60页 |
| 参考文献 | 第60-62页 |
| 致谢 | 第62页 |