pushing an searching

Based on the analysis, we proposed an efficient deducible fault-finding method which could not only diagnose and repair the failures but also find out the relative branches influenced by the faults.

在增加Petri网标识的冗余度基础上,通过构造监督矩阵和冗余矩阵,提出了具有自校正能力的Petri网模型;给出了Petri网有效的递推寻错法,该方法不仅能够检测和纠正Petri网中出现的故障,而且可以给出实际对象网络中与故障相关的进程;利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性。