Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration , Gehlot, V., and Edupuganti K. , Proceedings of the 42nd Hawaii International Conference on System Science, (2009)