On non-decidability of reachability for timed-arc Petri nets | Publicación