应用Petri网求解事故树最小割集的方法研究

• 作者: 周传爱 崔焕庆
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 事故树 最小割集 Petri网 可达图 死标识
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 软件与算法
• 页码范围: 580-583
• 分类号: TP391
• 字数: 4263字
• 语种: 中文

摘要

为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树的逻辑表达式与事故树Petri网模型的可达死标识之间的关系,进而提出了利用Petri网可达图求解事故树最小割集的算法,以及在给定基本事件发生时,中间事件和顶事件发生与否的判断方法.结合实例,借助开源的Petri网工具PIPE实现了事故树最小割集的求解,表明了该算法的有效性和可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔焕庆	山东科技大学信息科学与工程学院	30	107	7.0	8.0
2	周传爱	青岛滨海学院综合学院	11	21	2.0	4.0