故障检测的Petri网模型与Petri网故障进程

Fault Detection Model Based on Petri Net and Petri Net Fault Process

Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例.

Petri net process is a powerful tool that can accurately simulate the dynamics of the system running process, and can reflect the inherent characteristics of the fault spreading. In this paper, the fault detection model and fault process of Petri net are proposed for realizing the fault detection and fault location through analyzing the characteristic of the fault in the Petri net model. An extended Petri net with input and output models and a Petri net for fault detection are proposed firstly. Then, Petri net process, Petri net fault process, Petri net 2-process and fault detection process of Petri net are defined and constructed in order to describe its dynamic behavior;and a method for fault detection and for fault location is given based on the Petri net fault detection process; finally, an example of application for sequential circuit fault detection is given.