一种基于Petri网模型进行故障树分析的改进算法

集算集，利用Petri网的性质对故障树进行建模，并基于对偶和再吸收处理提出一种改进的最小割法。理论分析和实例验证的结果表明，该算法可以大大地减少计算量，能同时得到最小路且易于在计算机上实现。