摘要
介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之—─—可达树分析法。该方法应适用于各种Petri网，但由于状态空间的复杂，其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。
in this paper, a fault pattern for digital circuits is presented via Petri nets .This paper introduces one of methods of allalysis 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.
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1999年第5期524-526,共3页
Journal of University of Electronic Science and Technology of China
基金
国家"八五"重点科技攻关项目
