基于Petri网的自校正模型  

Study on the Self-Repaired Model Based on Petri Net

作　　者：朱嵘嘉[1] 程永奇[1] 纪志成[1] 

机构地区：[1]江南大学控制科学与工程研究中心,江苏无锡214122

出　　处：《江南大学学报（自然科学版）》2005年第4期356-360,共5页Joural of Jiangnan University (Natural Science Edition)　

基　　金：教育部重点科技项目(03085)资助课题.

摘　　要：在增加Petri网标识的冗余度基础上,通过构造监督矩阵和冗余矩阵,提出了具有自校正能力的Petri网模型;给出了Petri网有效的递推寻错法,该方法不仅能够检测和纠正Petri网中出现的故障,而且可以给出实际对象网络中与故障相关的进程;利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性.By increasing the redundancy of Petri Net, we constructed the monitoring matrix and the redundant matrix that were usually applied to analyse discrete-event dynamical systems. With these matrices, a new pattern of Petri Net was introduced. 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. The method can prevent the faults from corrupting the rest of the systems. Our approach allows concurrent/incremental processing of the information that arrives at the controller and only requires simple calculations during the time. A practical Petri Net was established for the simulation of UPS （uninterrupted power supply） system. We also built a test model for fault diagnosis and defined the actions followed to repair it. The model shows the correctness and the feasibility of the method.

关 键 词：PETRI网 建模 自校正 递推寻错 

分 类 号：TP27[自动化与计算机技术—检测技术与自动化装置]