| 对一个Petri网进程表达式的探讨 |
| |
| 引用本文： | 徐关怀,王明新.对一个Petri网进程表达式的探讨[J].安徽理工大学学报(自然科学版),2014(3):57-59. |
| |
| 作者姓名： | 徐关怀 王明新 |
| |
| 作者单位： | 1. 安徽理工大学学生处,安徽淮南,232001
2. 卡斯柯信号有限公司,上海,200070 |
| |
| 摘 要： | Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。
|
| 关 键 词： | Petri网 同步合成 基本进程段 进程表达式 |
Discussion on a Lemma in a Construction Method for the Process Expression of a Petri Net Based on synchronous Composition |
| |
| XU Guan-Huai,WANG Ming-Xin.Discussion on a Lemma in a Construction Method for the Process Expression of a Petri Net Based on synchronous Composition[J].Journal of Anhui University of Science and Technology:Natural Science,2014(3):57-59. |
| |
| Authors: | XU Guan-Huai WANG Ming-Xin |
| |
| Institution: | XU Guan-Huai;WANG Ming-Xin;Student Affairs Office,Anhui University of Science and Technology;Casco Signal Co. Ltd.; |
| |
| Abstract: | |
| |
| Keywords: | Petri net synchronous composition basic process section process expression |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
