离散事件系统是一类拥有离散状态、由事件驱动的系统,其专注于系统的逻辑性和序列化行为。自上世纪90年代由Sampath等首次提出可诊断性形式化定义以来,离散事件系统的故障诊断问题得到国内外专家学者的广泛关注,相继被推广到由经典离散事件系统衍生的分布式离散事件系统、随机离散事件系统、模糊离散事件系统和赋时离散事件系统等多种不同类型的系统,且在军事国防、通讯网络、人工智能、自动化控制、生物医药等多个领域取得成功应用。在离散事件系统框架下,故障诊断被分为离线诊断和在线诊断,其中离线诊断验证一个给定系统的可诊断性,而在线诊断要求在系统运行时进行,以在发生故障之后将其及时诊断出来。随着计算机、通信和传感器技术的发展,现代系统向着大型化、复杂化的趋势发展,故障诊断也越来越成为一个关键且富有挑战性的问题,具有重要的研究意义和实际应用价值。经典故障诊断理论研究对单个故障事件的诊断,而模式故障考虑的是更为复杂的系统故障行为,即由多个事件组成故障。在Genc等提出型和型模式故障诊断的基础理论后,这类应用范围更广的故障诊断方法也得到了大量的关注和研究。本文在离散事件系统和故障在线诊断的基础理论上,研究离散事件系统和模糊离散事件系统的模式故障在线诊断问题。在离散事件系统方面,先给出模式故障在线诊断的定义,构造了两类完全自动机对模式故障串进行标记,接着进一步构造了两类带标记状态的在线诊断自动机。最后,将带标记状态的在线诊断自动机转换为Petri网,在其基础上给出了构造Petri网诊断器的算法以及在线诊断算法。由于模糊离散事件系统具有不同于经典离散事件系统的模糊状态和事件,因此提出一种新的模式故障在线诊断方法。在模糊离散事件系统方面,先讨论了两种模式故障的可诊断性,然后给出了针对模糊离散事件系统的模式故障在线诊断定义,相应的模式故障串标识自动机和在线诊断自动机也被提出。最后,给出了适用于模糊离散事件系统的Petri网诊断器的构造算法和在线诊断算法。经过复杂性分析,以上提出的两种Petri网诊断器具有多项式的复杂性,具有一定的应用价值。为说明本文提出的定义和算法,相关的例子也已给出。