Home // International Journal On Advances in Intelligent Systems, volume 12, numbers 1 and 2, 2019 // View article

Modeling, Verification and Code Generation for FPGA with Adaptive Petri Nets

Authors:
Carl Mai
René Schöne
Johannes Mey
Michael Jakob
Thomas Kühn
Uwe Aßmann

Keywords: Petri nets; Reconfigurable Petri nets; Inhibitor Arcs; Analysis, Exceptions, FPGA, VHDL, Code Generation

Abstract:
Petri nets are a formalism used to model the behavior of systems. Modeling systems with context dependent behavior is more complex and no suitable model exists, which can be used for formal verification, graphical modeling and program synthesis. With our extension, “Adaptive Petri nets”, it is possible to directly model adaptive systems while still being able to utilize their expressiveness and existing model checking tools. In this work, the utilization of Adaptive Petri nets in the context of controller synthesis for Field Programmable Gate Arrays (FPGA) is demonstrated. A full workflow from an Adaptive Petri net Model to an FPGA will evaluate the system in its usability over the three components modeling, verification and code generation.

Pages: 111 to 122

Copyright: Copyright (c) to authors, 2019. Used with permission.

Publication date: June 30, 2019

Published in: journal

ISSN: 1942-2679