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

摘要

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