On non-decidability of reachability for timed-arc Petri nets

  1. Valero Ruiz, V.
  2. De Frutos Escrig, D.
  3. Cuartero Gomez, F.
Actas:
Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

ISBN: 9780769503318

Año de publicación: 1999

Páginas: 188-196

Tipo: Aportación congreso

DOI: 10.1109/PNPM.1999.796565 GOOGLE SCHOLAR
Fuente de los datos: Scopus