基于T-不变量的Petri网状态空间压缩算法
| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 1 绪论 | 第8-11页 |
| 1.1 研究背景 | 第8-9页 |
| 1.2 国内外研究现状 | 第9页 |
| 1.3 论文结构 | 第9-11页 |
| 2 Petri网的基础理论 | 第11-26页 |
| 2.1 Petri网的基本概念 | 第11-14页 |
| 2.1.1 网的定义 | 第11-12页 |
| 2.1.2 Petri网的定义 | 第12-14页 |
| 2.2 Petri网的可达分析 | 第14-17页 |
| 2.2.1 可达性 | 第14-15页 |
| 2.2.2 状态可达图 | 第15-16页 |
| 2.2.3 可覆盖树 | 第16-17页 |
| 2.2.4 活性 | 第17页 |
| 2.3 Petri网不变量及其应用 | 第17-26页 |
| 2.3.1 关联矩阵与状态方程 | 第17-18页 |
| 2.3.2 不变量 | 第18-19页 |
| 2.3.3 不变量的应用 | 第19-26页 |
| 3 不变量对状态空间削减的新算法 | 第26-41页 |
| 3.1 算法思想 | 第26-28页 |
| 3.2 算法论述 | 第28-41页 |
| 3.2.1 不变量的生成 | 第29-31页 |
| 3.2.2 借矩阵的引入 | 第31-35页 |
| 3.2.3 借矩阵分块算法 | 第35-36页 |
| 3.2.4 根据借矩阵启发式地寻找强连通分支 | 第36-40页 |
| 3.2.5 完成压缩 | 第40-41页 |
| 4 未知标识的探索算法 | 第41-47页 |
| 4.1 算法思想 | 第41页 |
| 4.2 算法论述 | 第41-44页 |
| 4.3 对Petri网性质的验证 | 第44-45页 |
| 4.4 合理性及复杂度分析 | 第45-46页 |
| 4.5 应用场景 | 第46-47页 |
| 5 实验 | 第47-59页 |
| 5.1 实验设计 | 第47页 |
| 5.2 数据集 | 第47-50页 |
| 5.3 实验过程与结果 | 第50-56页 |
| 5.3.1 多个环构成强连通分支 | 第50-52页 |
| 5.3.2 单个环构成强连通分支 | 第52-54页 |
| 5.3.3 未知标识的探索 | 第54-56页 |
| 5.4 总结 | 第56-59页 |
| 结论 | 第59-61页 |
| 参考文献 | 第61-65页 |
| 致谢 | 第65-66页 |
