Petri网可达性分析的代数方法
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 1 引言 | 第10-14页 |
| ·选题背景 | 第10页 |
| ·研究现状 | 第10-11页 |
| ·研究方法 | 第11-12页 |
| ·内容组织 | 第12-14页 |
| 2 Petri网基础 | 第14-25页 |
| ·网与网系统 | 第14-16页 |
| ·Petri网的动态性质 | 第16-19页 |
| ·Petri网的分析方法 | 第19-23页 |
| ·Petri网的结构性质 | 第23-25页 |
| 3 S-不变量的求取及其在可达性判定中的应用 | 第25-46页 |
| ·S-不变量基本概念 | 第25-26页 |
| ·S-不变量极小支集的判定 | 第26-32页 |
| ·S-不变量的求取 | 第32-44页 |
| ·S-不变量与不可达性判定 | 第44-46页 |
| 4 加模S-不变量与不可达判定 | 第46-58页 |
| ·加模S-不变量的概念及其性质 | 第46-47页 |
| ·初等整数变换与整数矩阵分解 | 第47-51页 |
| ·加模S-不变量的求取 | 第51-55页 |
| ·基于加模S-不变量的不可达判定 | 第55-58页 |
| 5 状态方程与可达方程 | 第58-87页 |
| ·状态方程解的存在性与不可达判定 | 第58-64页 |
| ·不可达标识分类 | 第64-67页 |
| ·可达性等价于状态方程可满足性的Petri网子类 | 第67-77页 |
| ·状态方程的求解 | 第77-80页 |
| ·可达方程 | 第80-87页 |
| 6 结束语 | 第87-89页 |
| ·主要成果 | 第87-88页 |
| ·下一步的工作 | 第88-89页 |
| 附录 | 第89-96页 |
| 致谢 | 第96-97页 |
| 参考文献 | 第97-101页 |
| 在读期间的研究成果 | 第101-102页 |
| 详细摘要 | 第102-114页 |
