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.
Aktak:
Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993

ISBN: 9780818642500

Argitalpen urtea: 1993

Orrialdeak: 56-65

Mota: Biltzar ekarpena

DOI: 10.1109/PNPM.1993.393435 GOOGLE SCHOLAR
Datuen iturria: Scopus