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

ISBN: 9780818642500

Datum der Publikation: 1993

Seiten: 56-65

Art: Konferenz-Beitrag

DOI: 10.1109/PNPM.1993.393435 GOOGLE SCHOLAR
Datenquelle: Scopus