关于Petri网汇合性质和家态的一些探讨

摘要	第1-6页
Abstract	第6-12页
1 引言	第12-16页
·选题背景及意义	第12-13页
·研究现状及课题的提出	第13-14页
·本文研究工作的主要内容	第14-15页
·本文的组织结构	第15-16页
2 Petri网的基本知识	第16-31页
·网与网系统	第16-23页
·Petri网的动态性质	第23-25页
·Petri网的分析方法	第25-28页
·Petri网的结构性质	第28-29页
·Petri网汇合性质与家态	第29-30页
·小结	第30-31页
3 满足汇合性质的Petri网子类	第31-46页
·活的标识S-图	第31-32页
·活的标识T-图	第32-34页
·有界的冲突无关的Petri网	第34-36页
·活的有界的标识自由选择网	第36-42页
·行为等价于前述特殊Petri网子类的网系统	第42-45页
·小结	第45-46页
4 同步合成与共享合成对汇合性质的保持性	第46-61页
·同步合成与汇合性质	第46-51页
·共享合成与汇合性质	第51-58页
·一个复杂的网系统示例	第58-60页
·小结	第60-61页
5 对于家态的一点探讨	第61-65页
·含有家态的Petri网子类	第61-62页
·家态的特征	第62-64页
·小结	第64-65页
6 结束语	第65-68页
·本文所做的主要工作	第65页
·后续研究课题展望	第65-68页
致谢	第68-69页
参考文献	第69-73页
作者在读期间的研究成果	第73页