Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2014

Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation

Résumé

Several solutions for implementing Petri net models on FPGA thanks to a transformation in a VHDL code have been proposed in literature. But none deals with the manage- ment of transition conflicts in the specific case of synchronous implementation of interpreted Petri nets. This article presents an automatic method to deal with conflicts from their detection to their implementation on FPGA. One solution for binary Petri nets is proposed. For the generalized case, two solutions are proposed and experimentally compared. Thus a solution is provided for the implementation of interpreted generalized time Petri nets.

Mots clés

Fichier non déposé

Dates et versions

lirmm-01064174 , version 1 (15-09-2014)

Identifiants

  • HAL Id : lirmm-01064174 , version 1

Citer

Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu. Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation. ISVLSI: IEEE Computer Society Annual Symposium on VLSI, Jul 2014, Tampa, Florida, United States. ⟨lirmm-01064174⟩
303 Consultations
0 Téléchargements

Partager

More