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

Published in: Sci. Comput. Program. (2012)

Keyphrases