Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems
- Ruiz, V.V.
- De Frutos Escrig, D.
- 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