Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets | IEEE Journals & Magazine | IEEE Xplore