Planning Mobile Cloud Infrastructures Using Stochastic Petri Nets and Graphic Processing Units | IEEE Conference Publication | IEEE Xplore