基于Petri网诊断器的离散事件系统模式故障在线诊断方法

摘要

本申请公开了一种基于Petri网诊断器的离散事件系统模式故障在线诊断方法，首先根据给定的模式故障集为每个模式故障串构造一个故障标识自动机用于标识模式故障，其次根据离散事件系统和所有故障标识自动机构造标记状态自动机来标记离散事件系统中已发生故障的状态，接着将标记状态自动机转换为Petri网，最后根据转换得到的Petri网来构造Petri网诊断器，利用诊断器对离散事件系统进行模式故障在线诊断。本申请克服了现有方法不适用于复杂的模式故障的在线诊断的问题，不仅可以用于S型模式故障和T型模式故障在线诊断，也可以用于传统的单个故障事件的在线诊断；在复杂性上与原系统的状态数和事件数为线性关系，可降低故障诊断的复杂度，提高故障诊断效率。