Toward the use of Petri nets for the formalization of OWL-S choreographies | Publicación