基于Petri网的自校正模型

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

Study on the Self-Repaired Model Based on Petri Net

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.