摘要：针对NMOHEMS布放系统的使用背景和工作原理，分析了对布放系统进行可靠性分析的重要性。根据NMOHEMS布放系统的工作过程，构建了系统的故障树模型，阐述了布放系统各个事件之间的逻辑关系。结合Petri网模型对故障树进行表示和简化，并使用Petri网描述了系统的动态性质和结构性质，弥补了传统故障树分析法的不足。理论分析和实例验证结果表明，该方法可以减少计算量，且易于在计算机上实现，为系统的可靠性分析和优化设计提供了理论基础。

关键词：可靠性分析 petri网 故障树 关联矩阵 最小割集 

单位：陆军航空兵学院飞行理论系.北京通州101123 解放军理工大学气象海洋学院 江苏南京211101