Petri网层次结构建模中的状态一致性问题
| 摘要 | 第3-4页 |
| Abstract | 第4-5页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-12页 |
| 1.1 研究背景及选题意义 | 第8-9页 |
| 1.2 论文选题的来源 | 第9页 |
| 1.3 论文的主要工作 | 第9-10页 |
| 1.4 论文的创新点 | 第10页 |
| 1.5 论文的组织结构 | 第10-12页 |
| 第二章 研究综述及相关基础 | 第12-22页 |
| 2.1 Petri网建模研究综述 | 第12-14页 |
| 2.1.1 库所细化 | 第12-13页 |
| 2.1.2 库所细化 | 第13-14页 |
| 2.1.3 子网组合 | 第14页 |
| 2.2 相关工作基础 | 第14-22页 |
| 2.2.1 Petri网 | 第15-16页 |
| 2.2.2 最大流算法 | 第16-18页 |
| 2.2.3 开源建模工具 | 第18-22页 |
| 第三章 Petri网中状态一致性 | 第22-35页 |
| 3.1 基本思路 | 第22页 |
| 3.2 状态一致性 | 第22-26页 |
| 3.2.1 层次结构建模 | 第22-25页 |
| 3.2.2 状态一致性的定义 | 第25-26页 |
| 3.3 状态一致性的检测 | 第26-33页 |
| 3.3.1 状态不一致性的Petri网结构 | 第27-30页 |
| 3.3.2 检测算法 | 第30-33页 |
| 3.4 小结 | 第33-35页 |
| 第四章 状态不一致性的处理 | 第35-43页 |
| 4.1 引言 | 第35页 |
| 4.2 WS-TT型子网 | 第35-37页 |
| 4.3 状态一致性保持的证明 | 第37-40页 |
| 4.4 判定WS-TT型子网的算法 | 第40-42页 |
| 4.5 小结 | 第42-43页 |
| 第五章 应用与实现 | 第43-57页 |
| 5.1 引言 | 第43页 |
| 5.2 应用领域 | 第43-47页 |
| 5.3 案例研究 | 第47-51页 |
| 5.4 工具实现 | 第51-55页 |
| 5.5 小结 | 第55-57页 |
| 第六章 总结与展望 | 第57-59页 |
| 6.1 本文总结 | 第57-58页 |
| 6.2 下一步工作 | 第58-59页 |
| 参考文献 | 第59-61页 |
| 致谢 | 第61页 |
