Toward the use of Petri nets for the formalization of OWL-S choreographies

  1. Vidal, J.C.
  2. Lama, M.
  3. Bugarín, A.
Revista:
Knowledge and Information Systems

ISSN: 0219-1377 0219-3116

Año de publicación: 2012

Volumen: 32

Número: 3

Páginas: 629-665

Tipo: Artículo

DOI: 10.1007/S10115-011-0451-Z GOOGLE SCHOLAR