关于Petri网汇合性质和家态的一些探讨-计算机软件与理论专业论文.docxVIP

THE RESEARCH OF CONFLUENCE PROPERTY AND HOME STATE OF PETRI NETS A Dissertation submitted in fulfillment of the requirements of the degree of MASTER OF PHILOSOPHY from Shandong University of Science and Technology by Wang Pengwei Supervisor: Professor Wu Zhehui College of Information Science and Engineering May, 2008 声 明 本人呈交给山东科技大学的这篇硕士论文，除了所列参考文献和世所公认 的文献外，全部是本人在导师指导下的研究成果。该论文尚没有呈交于其它任 何学术机关作鉴定。 研究生签名： 日 期： AFFIRMATION I declare that this dissertation, submitted in fulfillment of the requirements for the award of Master of Engineering Science in Shandong University of Science and Technology, is wholly my own work unless referenced of acknowledge. The document has not been submitted for qualification at any other academic institute. Signature: Date: 山东科技大学硕士学位论文摘 山东科技大学硕士学位论文 摘 要 摘 要 汇合性质和家态是 Petri 网的两种重要的性质，它们在应用领域有着重要的作用和价 值。然而在纯 Petri 网理论里，关于汇合性质和家态的系统的研究工作却很少。本文即针 对 Petri 网的汇合性质和家态性质做了一些探讨。 本文研究的主要内容包括以下几个方面： 1．从简单的 Petri 网子类入手来研究什么样的 Petri 网具有汇合性质，先后证明了活 的标识 S-图、活的标识 T-图、有界的冲突无关的 Petri 网、有界的标识 T-图（T-网）、不 含源变迁的标识 T-图、活的有界的标识自由选择网等 Petri 网子类具有汇合性质。 2．讨论了行为等价于上述特殊 Petri 网子类的网系统的汇合性质，由于根据定义直 接判定两个网系统是否行为等价非常地复杂，针对这点我们给出了一种保持行为等价的 化简方法，使得判定一个给定的网系统是否行为等价于前述的那些特殊子类变得比较简 单，若给定的网系统行为等价于某个特殊子类，从而可以容易地判定出其汇合性质。 3．讨论了同步合成与共享合成操作对 Petri 网汇合性质的保持性问题。先后证明了 子系统都为活的情况下的同步合成、保持完全顺序行为不变的同步合成、S-组合、子系 统都为活的情况下的保持活性的共享合成等组合方法都保持了汇合性质。同时对共享合 成的情况进行了扩展，得出了更为广泛的结论。 4．在对汇合性质研究工作的基础上，对 Petri 网的家态性质作了一些讨论，指出了 一些含有家态的 Petri 网子类，并对活的有界的网系统中的家态的特征做了初步的探讨， 讨论了它与陷阱的关系。 关键词：Petri 网，汇合性质，家态，S-图，T-图，冲突无关的 Petri 网，自由选择网， 同步合成，共享合成，保性研究，陷阱 山东科技大学硕士学位论文Ab 山东科技大学硕士学位论文 Abstract Abstract Confluence property and home state are two important properties of Petri nets. They have important roles and values in the application fields. However, in pure Petri nets theory, research work on the confluence property and home state of Petri nets is very little. So in this thesis, we make some studies about confluence property and home state of Petri nets. The major contributions of this dissertation are as fo