可达树分析法及其在测试中的应用
Reachability Tree Method and Its Application to Fault Diagnosis for Digital Circuits
-
摘要: 介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之一——可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。Abstract: In this paper, a fault pattern for digital circuits is presented via Petri nets.This paper introduces one of methods of analysis for Petri net the reachability tree method.It can be applied to all classes nets, but is limited to "small" nets due to the complexity of the state space explosion. This work find a reachability tree method is used to solve diagnosis fault of digital circuits.