Hélène Leroux, Karen Godary-Dejean, David Andreu. Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions. IFAC Proceedings Volumes, Elsevier, 2014, 12th IFAC International Workshop on Discrete Event Systems (WODES), 47 (2), pp
HAL Archives-Ouvertes,
Hélène Leroux, Karen Godary-Dejean, David Andreu. Integrating Implementation Properties in Analysis of Petri Nets Handling…