第三部分 Petri的分析方法.pptVIP

* Petri网进程 证. 令u0= {b| ?b = Φ}，显然u0是N的一个s-切，且 ?? (u0)=M0。设u为N的任一个s-切。显然u0 ? u，记 E(u0 , u)={e?E | ?b0 ?u0, b ?u: (b0,e) ? G+ ? (e, b) ? G+ } 下面对|E(u0 , u)|用数学归纳法证明定理的结论。 当|E(u0 , u)|=0时，显然u=u0，从而? (u0)= M0? R(M0)。 设对|E(u0 , u)|=k的任一个s-切u，都有M? R(M0)使得 ? (u)=M。 那么当|E(u0 , u)|=k+1时，易知存在N的一个s-切u1，使得 u0 ? u1? u（从而 E(u0 , u1) ? E(u0 , u) ），且|E(u0 , u1)|=k。 设E(u0 , u) - E(u0 , u1)={e}，则有?e ?u1，(u1 - ?e) ? e? =u ? (u1)=M1， ? (e)=t，因此有M1[t。设M1[tM，则? (u)=M。 在简单有向图中， 若任何两个节点间是相互可达的，则称是强连通图； 若任何两个节点之间至少从一个节点到另一个节点是可达的，则称是单向连通图或单侧连通图； 若在图中略去