A generalized petri net-based modeling framework for service reliability evaluation and management of cloud data centers. (March 2021)