Assessment of Service Composition Plan Using Colored Petri Nets. int. jour. eng. com. sci 2014, 3 (01).