Hélène Leroux, Karen Godary-Dejean, David Andreu. Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions.
12th IFAC International Workshop on Discrete Event Systems (WODES), May 2014, Paris, France. pp.406-411,
⟨10.3182/20140514-3-FR-4046.00032⟩.
⟨lirmm-01064146⟩