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

摘要：

在应用Petri网模型构建系统故障逻辑关系图的基础上,提出了一种应用Petri网的关联矩阵求最小割集的算法.具体方法是在关联矩阵中按行、列查找所表达的输入、输出关系,直到找到基本事件,并将对应事件按"与"、"或"关系展开,这样可以直接从关联矩阵中得出割集,再按照布尔吸收律、等幂率或素数法求出最小割集.应用关联矩阵法求有重复事件Petri网模型的最小割集简单明了.进行了基于Visual C+ 6.0的算法程序编制,并通过了检验.通过对某舰艇防空系统故障最小割集的求解说明了求解过程并证明了该算法的正确性.

关键词：Petri网、关联矩阵、重复事件、最小割集

所属期刊栏目：19

分类号：TB114.3(工程基础科学)

资助基金：国家高技术研究发展计划863计划2006AA04Z408

在线出版日期：2008-07-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1044-1047