A colored generalized stochastic Petri net simulation model for service reliability evaluation of active-active cloud data center based on IT infrastructure | IEEE Conference Publication | IEEE Xplore