无线顺序控制系统的可靠性是控制系统性能分析中的重要指标,传统的可靠性分析方法主要有可靠性框图、故障树、状态转移图等,这些方法通常建模过程繁琐,并且难以对故障和维修过程进行动态分析。本文选用广义随机Petri网(GSPN)对无线顺序控制系统进行可靠性建模,这是首次把Petri网运用到无线顺序控制系统的可靠性分析中,同时采用仿真方法分析系统的可靠度,并且与运用马尔科夫链模型求得的可靠度进行比较。本文首先比较了目前主流的几种可靠性分析技术,并且结合被控对象的结构特性与动态特性确定了使用Petri网作为建模工具。为了体现出故障与维修过程,在相关理论研究的基础上引入GSPN的建模方法,用延时变迁表达系统状态的动态变化。结合被控对象的信息传递流程建立了无线顺序控制系统的动态故障树,根据层次划分的理论,把动态故障树转化为由上位机系统、总线系统、PIC控制系统、无线监控系统这四个子部分组成的GSPN模型。根据建立的GSPN模型,得到与相应子系统同构的马尔科夫链模型,用解析法得到模型的可用度数值解。采用仿真软件计算子系统的仿真解后运用数值解验证结果的正确性。最后比较无线顺序控制系统的子系统可用度的乘积所得的理论值与总系统的GSPN仿真所得可用度,误差很小,验证了所建GSPN模型的正确性。