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.
Proceedings:
Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991

ISBN: 9780818622854

Year of publication: 1991

Pages: 154-163

Type: Conference paper

DOI: 10.1109/PNPM.1991.238772 GOOGLE SCHOLAR