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

• 作者: 李进冬 武滢 谢里阳
• 来源期刊: 中国机械工程
• 关键词: Petri网 关联矩阵 重复事件 最小割集
• 年，卷（期）: 2008,（9）
• 所属期刊栏目: 机械科学
• 页码范围: 1044-1047
• 页数: 4页
• 分类号: TB114.3
• 语种: 中文
• DOI: 10.3321/j.issn:1004-132X.2008.09.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢里阳		328	3556	30.0	41.0
2	武滢		8	67	4.0	8.0
3	李进冬		2	31	2.0	2.0