应用Petri网改进基于故障树的诊断方法

摘要

故障树是表示故障发生和故障传播关系的一种逻辑模型,基于故障树诊断方法的广泛应用由于实际故障树分析过程的NP困难问题而受到妨碍.而Petir网是一种特殊的有向网,适合于描述故障的传播关系.本文提出了两种基于Petri网的改进方法,与下行法相比,用该方法寻找最小割集和最小路集能有效地节省计算时间,提高推理速度和效率;最后还应用Petri网的状态方程分析方法提出了基于Petri网的故障监测和诊断方法.