Petri网的正向推理算法

提出了一种建立在petri网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petri网与矩阵运算结合,可以在petri网模型中抽取一个子模型,从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理。该算法充分利用了petri网的并行处理能力,缩小了后续应用的范围,加速了后续应用的效率。

Forward Reasoning Algorithm Based on Petri Net

This paper proposes a forward formalized reasoning algorithm on the basis of basic Petri net. Using incidence matrix , a place- markings vector and a enable- transitions vector, a Petri net can be combined with matrix operation. And then, a large and complex system can be transform into a small system relating to the problems. In the algorithm, owing to the parallel operation ability of Petri net, searching range for late application is reduced, and the efficiency of late application is improved.