On non-decidability of reachability for timed-arc Petri nets | IEEE Conference Publication | IEEE Xplore