关于出现网的S切

• 作者: 刘萍
• 来源期刊: 现代计算机（普及版）
• 关键词: 出现网 S切 E变换 E反变换
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 研究与开发
• 页码范围: 23-26
• 页数: 4页
• 字数: 4135字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-1423.2014.20.004

摘要

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