关于出现网的S切.pdfVIP

研究与开发 文章编号：1007—1423(2014)20—0023—04 DOI：10．3969／j．issn．1007—1423．2014．20．004 关于出现网的S切 刘萍 (甘肃民族师范学院计算机科学系，合作 747000) 摘要 ： 出现网是研究Petri网的进程的工具 ，而出现网的S切又是研究进程的重要概念 。讨论 S切的基本性质 ；定义并证明 S切 M在 E的元素 e的作用下发生的变换 一 “[e]=(u一。e)Ue’以及发生变换的条件 ，定义并证明S切 u在 E的元 素e的反作用下发生的变换 [e-I]=(一e。)LJe‘以及发生变换的条件；证明对于任意S切M有 u[e][e一]=“，对于 任意S切 有 [e][e] 。证明每一个S切 (≠ 。)都能够被某一个 e作用 ，每一个 S切 (≠ 。)都能够被某一个 e 反作用 关键词 ： 出现网；S切 ；E变换 ；E反变换 基金项 目： 甘肃 民族师范学院院长基金 (2013—16) O 引言 表达式Exp(P(∑))为 ∑的进程表达式。在文献 [1]的推 动下对 Petri网的进程表达式的研究．以及基于进程的研 在文献 1『1中，出现网作为定义Petri网的进程的基 究Petri网的方法，都取得了大量的成果 埘。 本工具 ，这是因为出现网能够十分清晰地反映事件之 在上述的研究中，出现网仅作为讨论的一种工具， 间的并发和顺序关系。而出现网的S切则是研究Petri 而出现网的S切的有用的性质的讨论也是利用一个 已 网的进程 的重要的概念 。设 E(s，T，F，Mo)是一个 Petri 有的满进程来展开。但是，S切的重要性质，只能是和出 网，Ⅳ-(曰，E；G)是出现网， 是 日uE到SU 的映射 ， 现网的本身特征有关的．不需要依托其他的概念才能 使得：(1)()_cS，og(E) ；(2)对于任意 (，Y)EG必 存在 。例如 ，在子进程的定义中。两个 S切的关系 “≤ 有 (()，og(Y))EF；(3)(Ve∈ ) (。e)= (e)八 (e)‘ 的实质 ，只能在 出现网中找到。因此 ．我们认为 ．对 出现 = (e)。；就称 为 Ⅳ到 ∑的网映射 。如果网映射 满 网进行探讨 ，了解其 内在的性质 ．是完全必要的，出现 足条件 ：(4)(Vb1，b2∈B；6l≠62)og(b1)=tp(b2)_÷(’b1≠ 网的研究成果必然为 Petri网的进程 的研究提供更多 。6V。hi=。6z=)A(b1。≠bzV‘b1。=62=‘)；(5)I{6I(b) 的手段和理论根据 ^ 6‘= }I=Mo(S)；则称P_(Ⅳ，)为 Petri网∑的满进 程 。 Petri网 的满进程 (Ⅳ，)利用 出现 网Ⅳ的S 1 出现网的S切 切 “作为描述 ∑的标识M∈ (Mo)的工具 ：go(u)=M。例 定义 1设 Ⅳ-(，E；G)是网，G+是二元关系G的传 如 ，对于 S切 0= 。b=go}，有 go(Uo)=Mo；如果两个 S切 递闭包 。如果满足 以下条件： Ul≤u2，则 (“1)≤ (“2)。S切的集合 的二元关系 1≤ (1)(