关于Petri网中同步距离计算的探讨-计算机软件与理论专业论文.docxVIP

山东科技大学硕士学位论文 山东科技大学硕士学位论文 山东科技大学硕士学位论文 山东科技大学硕士学位论文 THE RESEARCH OF SYNCHRONIC DISTANCE COMPUTATION IN PETRI NETS A Dissertation submitted in fulfillment of the requirements of the degree of MASTER OF ENGINEERING SCIENCE from Shandong University of Science and Technology by Wang Lili Supervisor: Professor Wu Zhehui College of Information Science and Engineering May,2007 声明 本人呈交给山东科技大学的这篇硕士论文，除了所列参考文献和世所公认 的文献外，全部是本人在导师指导下的研究成果。该论文尚没有呈交于其它任 何学术机关作鉴定。 研究生签名： 日 期： 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: 山东科技大学硕士学位论文摘 山东科技大学硕士学位论文 摘 要 山东科技大学硕士学位论文Detailed 山东科技大学硕士学位论文 Detailed Abstract 摘 要 同步距离是对两组事件间依赖程度的定量描述，也是刻画系统动态行为的工具。由 于同步距离的计算涉及到网系统的结构和网系统的初始标识，这无疑给同步距离的求解 带来了很大的难度，所以到目前为止还没有能够准确的求解一般Petri网中变迁之间同步 距离的算法。本文针对同步距离的定义、一些特殊的Petri网子类中同步距离的计算以及 一般Petri网中同步距离的计算做了一些探讨。 研究的主要内容包括以下几个方面: 1. 通过对几个实例的分析，指出了目前关于同步距离的定义主要适用于含有有向 回路的网系统。接着在现有定义的基础上又进一步提出了同步距离的修正定义，利用此 定义一一解决了前面典型实例中提出的问题，并且说明利用修正同步距离定义和采用观 察库所求解变迁之间的同步距离时得到的结果是一致的，简单介绍了同步距离与系统行 为之间的关系。 2. 利用同步距离的修正定义对标识S–图中的同步距离的求解定理做了修改。证明 了标识S–网和标识T –网的同步距离值也可以直接通过网结构和初始标识的分布情况来 求得，并给出了相应的求解定理。同时指出了一些与标识S–图或标识T –图行为等价的 网系统中变迁之间同步距离求解也是比较简单，并给出了保持行为等价的化简步骤。 3. 利用同步距离的修正定义对观察库所求解同步距离的原理加以了证明。指出 了文献[ HYPERLINK \l _bookmark70 49]中关于同步距离的求解还存在缺陷，它主要是针对出现网。为了使得求解的 范围更加广泛和精确，本文在文献[ HYPERLINK \l _bookmark70 49] 的基础上提出了带观察库所的加权网系统和增广 (可覆盖)树的概念，并给出公平Petri网中同步距离矩阵的求解算法，最后结合实例加 以演示。 4. 研究了一般Petri网中任意的某两个变迁之间同步距离的求解算法，并结合实例 给以诠释。 综上所述，本文对Petri网中的同步距离做了一定的研究。这些研究还有许多问题值 得探讨，还有待进一步的研究。 关键词 Petri网，同步距离，标识S–网，标识T –网，观察库所，带观察库所 的加权网系统，增广(可覆盖)树 Detailed Abstract Synchronic distance is not only an analyzing metric to describe the dependence relationship between two events, but also a tool to depict dynamic behavior of systems. Computa