Removing dead transitions in timed-arc Petri nets | Publicación