Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation. - Hélène Leroux; Karen Godary-Dejean; Guillaume Coppey; David Andreu 001 (ISVLSI, 2014)