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

ISBN: 9780818642500

Année de publication: 1993

Pages: 56-65

Type: Communication dans un congrès

DOI: 10.1109/PNPM.1993.393435 GOOGLE SCHOLAR