论文部分内容阅读
提出基于奇偶校验的方法对Petri网控制器进行故障检测.设计出满足包含标识向量和Parikh向量的线性约束的Petri网控制器;建立一个包含一定数量库所的附加Petri网控制器以满足奇偶校验的编码要求;分别针对库所故障和变迁故障,选用不同的奇偶校验参数进行故障检测,并通过实例详细阐明了故障检测的过程.
A Petri net controller based on parity checking is proposed to detect the fault.A Petri net controller is designed to satisfy the linear constraints including the identification vector and the Parikh vector.An additional Petri nets controller with a certain number of places is established to satisfy the parity Check the encoding requirements; respectively for the library failure and transition failure, select different parity parameters for fault detection, and through examples to illustrate the process of fault detection in detail.