Published in

2014 IEEE Computer Society Annual Symposium on VLSI

DOI: 10.1109/isvlsi.2014.44

Links

Tools

Export citation

Search in Google Scholar

Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation

Proceedings article published in 2014 by Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu
This paper was not found in any repository, but could be made available legally by the author.
This paper was not found in any repository, but could be made available legally by the author.

Full text: Unavailable

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

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.