Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems

  1. Ruiz, V.V.
  2. De Frutos Escrig, D.
  3. Gomez, F.C.
Actas:
Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991

ISBN: 9780818622854

Año de publicación: 1991

Páginas: 154-163

Tipo: Aportación congreso

DOI: 10.1109/PNPM.1991.238772 GOOGLE SCHOLAR
Fuente de los datos: Scopus