A Petri net approach for the design and analysis of Web Services Choreographies | Publicación