Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation

Hélène Leroux 1 Karen Godary-Dejean 2 Guillaume Coppey 3, 1 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 : 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.
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01064174
Contributor : Karen Godary-Dejean <>
Submitted on : Monday, September 15, 2014 - 4:33:23 PM
Last modification on : Thursday, October 10, 2019 - 11:59:01 AM

Identifiers

  • HAL Id : lirmm-01064174, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

518