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

ISBN: 9780818642500

Any de publicació: 1993

Pàgines: 56-65

Tipus: Aportació congrés

DOI: 10.1109/PNPM.1993.393435 GOOGLE SCHOLAR
Font de les dades: Scopus