关于Petri网中同步距离计算的探讨
| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 1 引言 | 第12-19页 |
| ·选题背景及意义 | 第12-13页 |
| ·同步距离的简介 | 第13-15页 |
| ·国内外研究现状 | 第15-17页 |
| ·研究动机和主要工作 | 第17页 |
| ·本文的组织结构 | 第17-19页 |
| 2 Petri网的基本知识 | 第19-30页 |
| ·网与网系统 | 第19-23页 |
| ·Petri网的动态性质 | 第23-24页 |
| ·Petri网的分析方法 | 第24-27页 |
| ·Petri网的结构性质 | 第27-29页 |
| ·小结 | 第29-30页 |
| 3 Petri网中同步距离的修正定义 | 第30-42页 |
| ·公平性的相关概念 | 第30-32页 |
| ·几个典型实例 | 第32-37页 |
| ·同步距离的修正定义 | 第37-40页 |
| ·同步距离与系统行为 | 第40-41页 |
| ·小结 | 第41-42页 |
| 4 几类Petri网子类中的同步距离求解 | 第42-62页 |
| ·标识S-图和标识T-图中的同步距离 | 第42-46页 |
| ·S-网中的同步距离 | 第46-49页 |
| ·T-网中的同步距离 | 第49-58页 |
| ·行为与标识S-图(或标识T-图)等价一些网系统 | 第58-61页 |
| ·小结 | 第61-62页 |
| 5 一般Petri网中同步距离的计算 | 第62-82页 |
| ·公平Petri网中的同步距离 | 第62-73页 |
| ·一般Petri网中任意两个变迁之间的同步距离 | 第73-81页 |
| ·小结 | 第81-82页 |
| 6 结束语 | 第82-84页 |
| ·本文的主要工作 | 第82页 |
| ·进一步的研究 | 第82-84页 |
| 致谢 | 第84-85页 |
| 参考文献 | 第85-88页 |
| 作者在读期间的研究成果 | 第88-89页 |
| 详细摘要 | 第89-99页 |