Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions

Hélène Leroux 1 Karen Godary-Dejean 2 David Andreu 1
1 DEMAR - Artificial movement and gait restoration
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
2 EXPLORE - Robotique mobile pour l'exploration de l'environnement
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : To design and implement complex digital systems, designers need to have an efficient methodology. In this goal, HILECOP has been developed to transform automatically Petri nets in a VHDL code. To ease design and increase the reactivity of exception handling, the mechanism of macroplace has been added to the formalism of Petri nets. This article describes an automatic model transformation for the analysis step. It integrates implementation properties to enhance reliability.
Type de document :
Communication dans un congrès
WODES: Workshop on Discrete Event Systems, May 2014, Cachan, France. 12th IFAC IEEE International Workshop on Discrete Event Systems, pp.1-6, 2014, 〈http://wodes2014.lurpa.ens-cachan.fr/〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01064146
Contributeur : Karen Godary-Dejean <>
Soumis le : lundi 15 septembre 2014 - 15:54:02
Dernière modification le : jeudi 24 mai 2018 - 15:59:23

Identifiants

  • HAL Id : lirmm-01064146, version 1

Collections

Citation

Hélène Leroux, Karen Godary-Dejean, David Andreu. Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions. WODES: Workshop on Discrete Event Systems, May 2014, Cachan, France. 12th IFAC IEEE International Workshop on Discrete Event Systems, pp.1-6, 2014, 〈http://wodes2014.lurpa.ens-cachan.fr/〉. 〈lirmm-01064146〉

Partager

Métriques

Consultations de la notice

234