Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation | Publicación