应用Petri网的关联矩阵求最小割集的新方法

摘要：

Petri网是一种特殊的有向网,能够反映系统的状态和事件的发展,很适合表达故障的传播关系。在应用Petri网模型构建系统故障逻辑关系图的基础上,提出了一种应用Petri 网的关联矩阵求最小割集的算法。具体方法是在关联矩阵中按行、列查找所表达的输入、输出关系,直到找到基本事件,并将对应事件按“与”、“或”关系展开,这样可以直接从关联矩阵中得出割集,再按照布尔吸收律、等幂率或素数法求出最小割集。此算法不同于故障树中传统求最小割集的上行法和下行法,也不同于其他应用Petri 网求最小割集的算法, 更易于计算机程序的实现。同时,应用关联矩阵法求有重复事件Petri网模型的最小割集更为简单明了。通过实例的求解说明了求解过程并证明了该算法的正确性。

关键词： Petri网 关联矩阵法 重复事件 最小割集 故障诊断 布尔吸收律

作者: 武滢 谢里阳 李进冬

作者单位: 东北大学机械工程与自动化学院,沈阳 110004

会议类型: 国内会议

会议名称: 第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on Reliability,Maintainability and Safety)

会议地点: 北京

会议语种:中文

在线出版日期: 2007-08-22（万方平台首次上网日期，不代表论文的发表时间）