Petri网模型代码映射研究

为了简化仿真系统的实现过程,分析总结了Petri网到程序代码的映射准则,从Petri网的基本元素和关系入手,根据逻辑关系建立映射的三类原子语句,并通过两种合成方式形成分子语句。以原型Petri网为例,遍历可达标识图的各种分支路径,提出循环路径到循环结构语句的代码映射方法。最后给出了带抑制弧的扩展Petri网和受控Petri网的代码映射方案,为Petri网向程序代码的转换提供了理论依据。

Research on Mapping the Petri Nets to Program Code

To simplify the simulation system realization, conclude the rule of the mapping Petri nets to program code. Based on the research of basic elements and relation,construct 3 atomic sentences in view of logic relationship and combine to 2 kinds of molecular sentence. Take the example of prototype Petri nets, put forward the mapping method of circulation structure in the reachable marking graph. The mapping scenario of extended Petri nets with inhibitor arcs and controlled Petri nets are also put forward All the research offer academic foundation for the mapping of Petri net to program code