Modeling the use of spot instances for cost reduction in cloud computing adoption using a Petri net framework | IEEE Conference Publication | IEEE Xplore