故障Petri网的激发矩阵方法研究

Research on fire matrix method for fault Petri net

为了解决故障建模中如何较好地描述故障状态变化过程的问题,定义了带有激发矩阵的故障Petri网,对库所、变迁、激发矩阵、理想激发矩阵以及激发时间作了有别于传统Petri网的定义;将系统故障解释为源库所故障或者变迁的激发功能故障;依据变迁及其外延的一般形式,给出了故障Petri网的激发矩阵分析方法,由此提出了一种故障诊断算法。以某电源系统为例,设计实验对所提出的故障诊断算法进行验证,结果表明算法能够有效、可靠地诊断出系统故障。

To solve the problem of how to describe the change of fault state in fault modeling appositely. This paper gives the definitions of fault Petri net with fire matrix, and gives the new definitions for the concepts of place, transition, fire matrix, expected fire matrix and fire time, which are different from those in traditional Petri net. The system fault is explained as the fault of source place and the fault of fire function of transition. The fire matrix analysis method in fault Petri net is given according to the study on the general form of transition and its extension, and based on which a fault diagnosis algorithm is given. Taking a certain power system as example, an experiment was designed, which verifies the proposed fault diagnosis algorithm. Experiment result shows that the algorithm can diagnose the system faults effectively and reliably.