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

论文摘要

汇合性质和家态是Petri网的两种重要的性质,它们在应用领域有着重要的作用和价值。然而在纯Petri网理论里,关于汇合性质和家态的系统的研究工作却很少。本文即针对Petri网的汇合性质和家态性质做了一些探讨。本文研究的主要内容包括以下几个方面:1.从简单的Petri网子类入手来研究什么样的Petri网具有汇合性质,先后证明了活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T-图（T-网）、不含源变迁的标识T-图、活的有界的标识自由选择网等Petri网子类具有汇合性质。2.讨论了行为等价于上述特殊Petri网子类的网系统的汇合性质,由于根据定义直接判定两个网系统是否行为等价非常地复杂,针对这点我们给出了一种保持行为等价的化简方法,使得判定一个给定的网系统是否行为等价于前述的那些特殊子类变得比较简单,若给定的网系统行为等价于某个特殊子类,从而可以容易地判定出其汇合性质。3.讨论了同步合成与共享合成操作对Petri网汇合性质的保持性问题。先后证明了子系统都为活的情况下的同步合成、保持完全顺序行为不变的同步合成、S-组合、子系统都为活的情况下的保持活性的共享合成等组合方法都保持了汇合性质。同时对共享合成的情况进行了扩展,得出了更为广泛的结论。4.在对汇合性质研究工作的基础上,对Petri网的家态性质作了一些讨论,指出了一些含有家态的Petri网子类,并对活的有界的网系统中的家态的特征做了初步的探讨,讨论了它与陷阱的关系。

论文目录

• 摘要
• Abstract
• 1 引言
• 1.1 选题背景及意义
• 1.2 研究现状及课题的提出
• 1.3 本文研究工作的主要内容
• 1.4 本文的组织结构
• 2 Petri网的基本知识
• 2.1 网与网系统
• 2.2 Petri网的动态性质
• 2.3 Petri网的分析方法
• 2.4 Petri网的结构性质
• 2.5 Petri网汇合性质与家态
• 2.6 小结
• 3 满足汇合性质的Petri网子类
• 3.1 活的标识S-图
• 3.2 活的标识T-图
• 3.3 有界的冲突无关的Petri网
• 3.4 活的有界的标识自由选择网
• 3.5 行为等价于前述特殊Petri网子类的网系统
• 3.6 小结
• 4 同步合成与共享合成对汇合性质的保持性
• 4.1 同步合成与汇合性质
• 4.2 共享合成与汇合性质
• 4.3 一个复杂的网系统示例
• 4.4 小结
• 5 对于家态的一点探讨
• 5.1 含有家态的Petri网子类
• 5.2 家态的特征
• 5.3 小结
• 6 结束语
• 6.1 本文所做的主要工作
• 6.2 后续研究课题展望
• 致谢
• 参考文献
• 作者在读期间的研究成果