对一个 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 |
| |
Affiliation: | XU Guan-Huai, WANG Ming-Xin ( 1. Student Affairs Office, Anhui University of Science and Technology, Huainan Anhui 232001, China;2. Caseo Signal Co. Ltd. , Shanghai 200070, China) |
| |
Abstract: | Process of Petri net is an effective way for analyzing and verifying the Petri net properties, and process expression can be used to define and describe the set of all processes for a Petri net.A lemma from reference“a Construction Method for the Process Expression of a Petri Net Based on synchronous Composition” was thoroughly studied, which proposes a synchronous composition -based method of Petri net expression construction.The method was proved wrong with a counterexample. |
| |
Keywords: | Petri net synchronous composition basic process section process expression |
本文献已被 维普 等数据库收录! |