| 关于出现网的S切 |
| |
| 引用本文： | 刘萍.关于出现网的S切[J].现代计算机,2014(7):23-26. |
| |
| 作者姓名： | 刘萍 |
| |
| 作者单位： | 甘肃民族师范学院计算机科学系,合作747000 |
| |
| 基金项目： | 甘肃民族师范学院院长基金（2013-16） |
| |
| 摘 要： | 出现网是研究Petri网的进程的工具，而出现网的S切又是研究进程的重要概念。讨论S切的基本性质：定义并证明S切M在E的元素e的作用下发生的变换M→ue]=（u-·e）Ue·以及发生变换的条件。定义并证明S切u在E的元素e的反作用下发生的变换v→ve-1]=（v-e·）U·e以及发生变换的条件；证明对于任意S切u有ue]e-1]=u，对于任意S切v有ve-1]e]=v。证明每一个S切u（≠w1）都能够被某一个e作用，每一个S切v（≠W0）都能够被某一个e反作用。
|
| 关 键 词： | 出现网 S切 E变换 E反变换 |
The S-cuts of Occurrent Nets |
| |
| LIU Ping.The S-cuts of Occurrent Nets[J].Modem Computer,2014(7):23-26. |
| |
| Authors: | LIU Ping |
| |
| Affiliation: | LIU Ping (Department of Computer Science, Gansu Normal University for Nationalities, Hezuo 747000) |
| |
| Abstract: | Discusses the fundamental properties of S-cuts in the occurrent nets, defines the e-transformation and inverse e-transformation on the set of S-cuts, and proves that for every S-cut u, there is E-element e transform or inverse transform u; if e transform u to v, then the inverse e transform v tO u. |
| |
| Keywords: | Occurent Net S-Cuts E-Transformation Inverse E Transformation |
| 本文献已被 维普 等数据库收录！ |
