高可用集群在我国的许多重要部门起着重要的作用,目的在于提供高可靠的应用,因此其性能的评测也就愈发显得重要,传统的集群评测算法不能对其进行准确的描述。通过高级随机Petri网对一个两节点的高可用集群进行建模,并进行模型的化简分析,介绍如何利用高级随机Petri网对高可用系统进行分析。证明其在高可用系统分析中的可行性。