关于出现网的S切

出现网是研究Petri网的进程的工具，而出现网的S切又是研究进程的重要概念。讨论S切的基本性质：定义并证明S切M在E的元素e的作用下发生的变换M→u[e]=（u-·e）Ue·以及发生变换的条件。定义并证明S切u在E的元素e的反作用下发生的变换v→v[e-1]=（v-e·）U·e以及发生变换的条件；证明对于任意S切u有u[e][e-1]=u，对于任意S切v有v[e-1][e]=v。证明每一个S切u（≠w1）都能够被某一个e作用，每一个S切v（≠W0）都能够被某一个e反作用。