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.
Type de document :
Poster
ISVLSI: IEEE Computer Society Annual Symposium on VLSI, Jul 2014, Tampa, Florida, United States. 2014, Proceedings of the 2014 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01064174
Contributeur : Karen Godary-Dejean <>
Soumis le : lundi 15 septembre 2014 - 16:33:23
Dernière modification le : jeudi 11 janvier 2018 - 16:20:52

Identifiants

  • HAL Id : lirmm-01064174, version 1

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. 2014, Proceedings of the 2014 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 〈lirmm-01064174〉

Partager

Métriques

Consultations de la notice

197