Decidability of the strict reachability problem for TPN's with rational and real durations

  1. Ruíz, V.V.
  2. De Frutos Escrig, D.
  3. Gómez, F.C.
Actas:
Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993

ISBN: 9780818642500

Año de publicación: 1993

Páginas: 56-65

Tipo: Aportación congreso

DOI: 10.1109/PNPM.1993.393435 GOOGLE SCHOLAR