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

Ano de publicación: 2012

Volume: 32

Número: 3

Páxinas: 629-665

Tipo: Artigo

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