Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

19 Citations (Scopus)


The IOPT Petri net class, designed to implement embedded system controllers, combining the well known properties of Petri nets with input and output functions, provides a set of capabilities suitable to specify digital controller systems. This paper presents an automatic code generation tool used to create VHDL controller implementations of IOPT models and describes the underlying code generation strategies. The new tool is integrated under the Web based IOPT-Tools framework (accessible at, containing a complete tool-chain ranging from interactive model design and edition, model checking and simulation tools to automatic code generation, allowing the design of embedded system controllers using only graphical tools and without the need to manually write any hardware description or software code.
Original languageUnknown
Title of host publicationAnnual Conference of the IEEE Industrial Electronics Society (IECON)
Pages2214 - 2219
Publication statusPublished - 1 Jan 2013
EventIndustrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE -
Duration: 1 Jan 2013 → …


ConferenceIndustrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE
Period1/01/13 → …

Cite this