Strong behavioral similarities in timed-arc Petri nets | Publicación