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

ISBN: 9780818622854

Année de publication: 1991

Pages: 154-163

Type: Communication dans un congrès

DOI: 10.1109/PNPM.1991.238772 GOOGLE SCHOLAR
La source de données: Scopus