摘要
Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。
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.
出处
《安徽理工大学学报（自然科学版）》
CAS
2014年第3期57-59,共3页
Journal of Anhui University of Science and Technology:Natural Science
关键词
PETRI网
同步合成
基本进程段
进程表达式
Petri net
synchronous composition
basic process section
process expression
