基于矩阵运算的Petri网反向推理算法

摘要

通过对加权模糊Petri网模型和反向推理算法的研究,建立了加权模糊Petri网的关联Petri网推理模型.在此基础上,提出了基于矩阵运算的反向推理算法.通过实例对算法进行了检验,结果表明该算法具有解决复杂问题的并行推理能力、推理效率高、推理过程简单、容易实现.