可信赖性已形成较为成熟的理论体系,是度量各种分布式系统服务质量的重要指标。随机Petri网(Stochastic Petri net,SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合于对系统进行建模和可信赖性分析。机群系统已成为构建高性能分布式系统的基础架构,其可靠性将很大程度上影响对用户提供的服务质量(QoS)。冗余备份系统是提高分布式系统可信赖性最常采用的策略之一,其通过增加冗余资源的方法来换取更高的可信赖性,使系统在出现故障的时候仍能维持正常功能。文章主要是基于随机Petri网对分步式系统进行可信赖性研究。采用随机Petri网分别对机群架构中关键系统前端分配器和非关键系统后端服务器建立了SPN模型,进而得到整个机群架构的SPN模型。在建模时对前端分配器给予了必要的修复保证。在模型的基础上给出了各种可信赖性参数,并对模型进行了仿真。仿真结果表明:在机群系统建模时,对关键系统前端分配器给予必要的维修保证后,系统模型的稳态可用性将大大提高;介绍了冗余备份多处理机系统的概念及冷备份和温、热备份的随机Petri网表示,运用随机Petri网建立冗余备份多处理机系统的可信赖性模型,并在模型分析的基础上给出了冗余备份多处理机系统的可信赖性参数。指出如果使用Markov模型进行可信赖性建模,一旦系统资源(如处理器数)发生变化,则其Markov链的结构就会发生很大的变化。而在随机Petri网模型中,只要通过改变库所中表示资源的托肯数就可以得到相应的模型。因此,将随机Petri网引入可信赖性领域,势必会极大提高冗余备份系统的建模效率和分析能力。