分析了多种模糊Petri网的推理算法优缺点。在此基础上,给出了一个基于代数的模糊Petri网逆向推理算法。此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,其数据结构简单,便于计算机编程处理。此外,其逆向推理思想可以将系统转化为一个只与问题有关的简单的系统,减小空间复杂度。最后举例说明了它的应用。
This paper analyzes many kinds of reasoning algorithms of fuzzy Petri nets, and proposes a new backward reasoning algorithm based on algebra. The algorithm fully takes advantage of mathematics foundation of Petri nets, owns parallel computing capability and simpler data structure. The method is much easier for implementation. In addition, based on the backward reasoning method, a complex system can be transformed into a simpler system closely related to the current problems. Thus, the space complexity of the algorithm can be reduced and the computing efficiency can be considerably improved. The legitimacy and feasibility were testified through an example.