位置:成果数据库 > 期刊 > 期刊详情页
基于代数的模糊Petri网逆向推理算法
  • 期刊名称:门鹏,段振华, “基于代数的模糊Petri网逆向推理算法”,系统仿真学报,Vol.19(1)增刊,p
  • 时间:0
  • 分类:TP391.9[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]西安电子科技大学计算机学院,陕西710071
  • 相关基金:国家自然科学基金资助项目(60373103:60433010)
  • 相关项目:框架时序逻辑程序设计
中文摘要:

分析了多种模糊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.

同期刊论文项目
期刊论文 54 会议论文 46 获奖 1 著作 3
期刊论文 11 会议论文 21 获奖 1 著作 3
同项目期刊论文