通过对CRH2型动车组受电弓结构组成、工作原理和故障模式进行分析,梳理复杂故障事件间关系,建立受电弓故障树。针对大型故障树分析中的组合爆炸和无法动态诊断的不足,将Petri网建模理论与故障树分析相结合,采用关联矩阵法求解受电弓故障树最小割集,建立其Petri网模型状态方程,通过初始状态token赋值和转移使能建立受电弓故障动态传播过程的数学表达,提高了复杂系统故障诊断推理速度和效率。最后结合受电弓故障诊断实例的应用,证明了所提算法的合理性和有效性。