标签Petri网的路径信息在故障诊断中的应用

针对一类由标签Petri网模拟的离散事件系统的故障问题,提出一种利用网结构中路径信息的诊断方法.假设标签Petri网模型的网结构是已知的,隐藏在系统传感器或者执行机构中的故障用不可观测的变迁或者可观测且标记不可分辨的变迁模拟.首先,在故障诊断过程前,提出网结构转化规则转化原始Petri网;随后,在转化后Petri网的子网中,划分出若干条特定路径,解析多种路径间的约束关系;最后,利用路径间约束关系制定相应的约束规则,导出系统故障诊断的结果,并针对其中不确定的情况分析故障发生的概率大小.该方法基于路径信息的全新视角进行故障诊断,其贡献之一是得益于网结构转化规则,删除冗余结点,缩减内存成本.另一个贡献是由于网结构中路径数量有限,该故障诊断方法无需遍历系统状态空间,具有多项式级计算复杂性,满足实时性要求.