Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation | IEEE Conference Publication | IEEE Xplore