基于Petri网的机车故障诊断方法研究

基于Petri网的机车故障诊断方法研究
1 引言
目前，对于机车故障检查与诊断存在各种方法，其中专家系统，故障树分析方法(fta)，以及两者的结合体是被广泛接受的方法，然而，他们也存在一些缺陷;fta 仅能表示逻辑关系[1]，不能表示动态行为;而专家系统突出弱点就是知识获取的瓶颈问题[2];基于故障树的专家系统诊断系统在一些方面虽得到优化，但是由于故障树模型之间的缺陷，又加上诊断的规则数目较多，当添加修改规则时，易出现规则之间的冲突和冗余，无法保证专家系统高效、正确地运行。

在故障检测与诊断领域中，petri 网不仅能够用在此利用petri 网的可达性和状态方程方法，分析故障树信息，解决故障检测和故障传播问题。

与基于故障树的诊断方法相比，本文提出的方法具有结构表达2 petri 网理论基础及分析
2.1 petri 网结构和分析方法
从∑=(p,t,i,o,m)。

以∑=(p，t，i，o，m);
p={p1，p2，p3，p4};
m=(1 0 0 0);
i(t1)={p1};o(t1)={p2};
i(t2)={p1};o(t2)={p3};
i(t3)={p2,p3};o(t3)={p4};
petri 网的执行过程受控于网中托肯的数量和分布情况，并通过转移的点火得以实现。

一个转移可点火，首先该转移必须允许点火，即转移使能。

一个转移使能的前提条件是该转移的每一个输入库所中被标记的托肯数至少等于该。