关于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页 |