Enrique Caliz, Karthikeyan Umapathy, Arturo J. Sánchez-Ruíz, Sherif A. Elfayoumy. Analyzing Web Service Choreography Specifications Using Colored Petri Nets. In Hemant K. Jain, Atish P. Sinha, Padmal Vitharana, editors, Service-Oriented Perspectives in Design Science Research - 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings. Volume 6629 of Lecture Notes in Computer Science, pages 412-426, Springer, 2011. [doi]
Abstract is missing.