Analyzing Web Service Choreography Specifications Using Colored Petri Nets. - Enrique Caliz; Karthikeyan Umapathy; Arturo J. Sánchez-Ruíz; Sherif A. Elfayoumy (DESRIST, 2011)