users. As the main product of IaaS cloud, virtual machine's reliability is a valuable research
issue. This paper presents a modeling strategy for VM reliability based on general stochastic
Petri nets. The modeling strategy decomposes VM reliability into network reliability,
computing reliability and storage reliability, and considers high availability mechanism in
IaaS cloud. To analyze the reliability model, we use Markov process theory and give the …