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