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.
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