Interpreted synchronous extension of time Petri nets | Publicación