基于行为Petri模型的诊断推理研究

Behaviour Petri model based diagnostic inference

基于模型诊断理论，应用行为Ｐｅｔｒｉ网对诊断问题和诊断解进行了重新定义，阐述了行为ＰＮ的模型构造和后向可达ｂ－ｗ分析方法。以某卫星电源系统的故障诊断为例，描述基于行为ＰＮ模型的诊断理论及其分析方法的应用．该方法为Ｐｅｔｒｉ网在故障诊断领域的应用以及基于因果模型诊断方法的发展提供了新的思路．

Presents the redefinition of diagnosis problem and solution using behaviour Petri net based model diagnosis theory, and the construction of behaviour PN model and the rear reachability b-w analysis, and de- scribes the behaviour PN model based diagnosis theory and the application of its analysis method with the typi- cal diagnosis of a fault in the power supply system of a satellite as an example, and concludes that this method provides a new way of thinking for the application of Petri net in the field of fault diagnosis and the develop- ment of the diagnosis based on cause and effect model.