V. Valero Ruiz

On non-decidability of reachability for timed-arc Petri nets

V. Valero Ruiz, D. de Frutos Escrig, F. Cuartero Gomez, 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).