一种基于Petri网模型求解故障树最小割集的算法

Petri网作为一种动态的图形化建模工具 ,可用于表达系统的逻辑关系和描述系统的动态行为 ,文中利用Petri网的这一特点对故障树进行建模 ,并在此基础上提出了一种新的求解故障树最小割集的算法 ,最后以实例说明了这一求解过程。该算法与以往方法相比 ,提高了执行效率 ,且可同时得到最小路集 ,为系统的可靠性分析工作提供了一种新的途径。