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.
Keywords : Formal verification Exception Petri-nets Implementation Discrete-event systems
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

INRIA | EXPLORE | DEMAR | LIRMM | MIPS | UNIV-MONTPELLIER

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

234

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD