Petri网的正向推理算法

摘要：

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

关键词：Petri网、知识表示、推理算法

所属期刊栏目：22

分类号：TP301.2(计算技术、计算机技术)

资助基金：四川省教育厅资助项目2002A105

在线出版日期：2007-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：154-156,134