Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2014

Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions

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.
Fichier principal
Vignette du fichier
1-s2.0-S1474667015374358-main.pdf (627.25 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

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

Identifiers

Cite

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 View
141 Download

Altmetric

Share

Gmail Facebook X LinkedIn More