航天发射系统结构复杂，各分系统相互耦合，且故障传播模式多样化，故障特征和故障模式之间存在着模糊关系。因此，本文提出利用模糊Petri网对航天发射系统进行故障诊断，并给出了基于模糊Petri网的故障传播模式模型及反正向结合的推理算法。反向推理用于故障诊断，以选择检测路径，有效地找到发生某一故障的原因及其传播路径；正向推理用于计算该故障发生的真实度。文中以某运载火箭控制系统漏电故障诊断为例，说明了该模型直观、表达能力强的优点，同时表明了算法的适用性和有效性。