Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions

Résumé

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.
Fichier principal
Vignette du fichier
1-s2.0-S1474667015374358-main.pdf (627.25 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

lirmm-01064146 , version 1 (21-05-2019)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More