Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration. - Vijay Gehlot; Kranthima Edupuganti (HICSS, 2009)