Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets

Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz. Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Science of Computer Programming, 77(3):290-313, 2012. [doi]

Abstract

Abstract is missing.