Accelerations for the coverability set of Petri nets with names

  1. Rosa-Velardo, F.
  2. Martos-Salgado, M.
  3. De Frutos-Escrig, D.
Revista:
Fundamenta Informaticae

ISSN: 0169-2968

Año de publicación: 2011

Volumen: 113

Número: 3-4

Páginas: 313-341

Tipo: Aportación congreso

DOI: 10.3233/FI-2011-611 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible