Modeling and analyzing failure model for cloud application based on Petri nets

This paper proposes a method to model and analyze failure model for cloud application according to its characteristics. Petri nets are used as the formal description language for cloud application, and use it to describe its basic elements, such as, cloud module, resource service, physical machine, virtual machine, and so on. We formally model the basic relationship between cloud modules, the interaction between physical machine and virtual machine. The correctness of constructed model is analyzed based on the operation characteristics and the state space of the constructed model. Finally, a specific example is used to explain the model and analyze processes of cloud computing.