对一个Petri网进程表达式的探讨

作者：徐关怀; 王明新

来源：安徽理工大学学报(自然科学版), 2014, 34(03): 57-59.

• Petri网
• 同步合成
• 基本进程段
• 进程表达式

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。

• 单位
  安徽理工大学; 卡斯柯信号有限公司