Petri网的正向推理算法

• 作者: 余童兰 刘杰 陈星
• 来源期刊: 科技与创新
• 关键词: Petri网 知识表示 推理算法
• 年，卷（期）: 2006,（36）
• 所属期刊栏目: 网络与通信
• 页码范围: 154-156,134
• 页数: 4页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2006.36.053

摘要

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