Fault Detection Based on Parity Checks in Petri NetController
基于奇偶校验的Petri网控制器的故障检测

A method of fault detection in Petri net controllers based on Parity checks is proposed. Firstly, Petri net controller satisfying linear constraints of marking and Parikh vectors is designed. Then, a redundant controller with certain places is constructed to meet the coding condition of Parity checks. Finally, for the differences between place fault and transition fault, different Parity check parameters are chosen to detect faults, some examples are given.