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

摘要：

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

关键词：事故树、最小割集、Petri网、可达图、死标识

所属期刊栏目：32

分类号：TP391(计算技术、计算机技术)

资助基金：国家863高技术研究发展计划基金项目2009AA062700;国家自然科学基金项目60773034;青岛市科技计划基金项目KZJ-47,2008-2-27,09-1-3-50-jch

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

页数：共4页

页码：580-583