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

Backward Reasoning Algorithm of Petri NET Based on Matrix Operation

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

Study on the weighted fuzzy Petri net model and the backward reasoning algorithm,this paper builds up a associated Petri net model for reasoning of the weighted fuzzy Petri net.A backward reasoning algorithm,based on matrix operations,is proposed based on the model.Using an instance to test the algorithm,the result shows that it has the ability of parallel reasoning for complex problems,and it is high-efficiency and is easy to implement.