Petri网在高可用集群性能分析中的建模

Model for high-availability cluster based on petri net

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

High-availability cluster aim at giving application high availability. Petri net is widely used in modeling, performance analysis and control aspects as mathematics and figure tools. Through describing extension of the GSPN and its application to the high-availability cluster, the method could be used to solve the performance analysis about high-availability cluster.