From Petri net models to C implementation of digital controllers

Luís Filipe dos Santos Gomes; Anikó Katalin Horváth da Costa; DEE Group Author

doi:10.1109/ISIE.2010.5637670

From Petri net models to C implementation of digital controllers

Luís Filipe dos Santos Gomes, Anikó Katalin Horváth da Costa, DEE Group Author

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

14 Citations (Scopus)

Abstract

Modeling of discrete-event systems using Petri net models is well-studied. Also, their usage for specification of digital controllers is widely used. Yet, it is recognized that we have a lack of tools when facing support for the implementation of these models, namely for automatic code generation. The paper briefly presents the FORDESIGN project that aims to develop a set of tools to contribute for filling this gap within automation systems and (networked) embedded systems development. The set of tools is based on a Petri net class, named as Input-Output Petri Net (IOPT), and its representation using the Petri Net Markup Language (PNML). The paper presents some rules used by an automatic code generator able to produce VHDL code starting with the PNML representation of the Petri net model.

Original language	Unknown
Title of host publication	IEEE International Symposium on Industrial Electronics
Pages	94-99
DOIs	https://doi.org/10.1109/ISIE.2010.5637670
Publication status	Published - 1 Jan 2010
Event	ISIE’2010 - IEEE International Symposium on Industrial Electronics - Duration: 1 Jan 2010 → …

Conference

Conference	ISIE’2010 - IEEE International Symposium on Industrial Electronics
Period	1/01/10 → …

Access to Document

10.1109/ISIE.2010.5637670

http://oa.uninova.pt/2472/

Cite this

@inproceedings{37ac8e32708f468c9910fe531da7d6eb,

title = "From Petri net models to C implementation of digital controllers",

abstract = "Modeling of discrete-event systems using Petri net models is well-studied. Also, their usage for specification of digital controllers is widely used. Yet, it is recognized that we have a lack of tools when facing support for the implementation of these models, namely for automatic code generation. The paper briefly presents the FORDESIGN project that aims to develop a set of tools to contribute for filling this gap within automation systems and (networked) embedded systems development. The set of tools is based on a Petri net class, named as Input-Output Petri Net (IOPT), and its representation using the Petri Net Markup Language (PNML). The paper presents some rules used by an automatic code generator able to produce VHDL code starting with the PNML representation of the Petri net model.",

author = "Gomes, {Lu{\'i}s Filipe dos Santos} and Costa, {Anik{\'o} Katalin Horv{\'a}th da} and {DEE Group Author}",

year = "2010",

month = jan,

day = "1",

doi = "10.1109/ISIE.2010.5637670",

language = "Unknown",

isbn = "978-1-4244-6390-9",

pages = "94--99",

booktitle = "IEEE International Symposium on Industrial Electronics",

note = "ISIE{\textquoteright}2010 - IEEE International Symposium on Industrial Electronics ; Conference date: 01-01-2010",

}

TY - GEN

T1 - From Petri net models to C implementation of digital controllers

AU - Gomes, Luís Filipe dos Santos

AU - Costa, Anikó Katalin Horváth da

AU - DEE Group Author

PY - 2010/1/1

Y1 - 2010/1/1

N2 - Modeling of discrete-event systems using Petri net models is well-studied. Also, their usage for specification of digital controllers is widely used. Yet, it is recognized that we have a lack of tools when facing support for the implementation of these models, namely for automatic code generation. The paper briefly presents the FORDESIGN project that aims to develop a set of tools to contribute for filling this gap within automation systems and (networked) embedded systems development. The set of tools is based on a Petri net class, named as Input-Output Petri Net (IOPT), and its representation using the Petri Net Markup Language (PNML). The paper presents some rules used by an automatic code generator able to produce VHDL code starting with the PNML representation of the Petri net model.

AB - Modeling of discrete-event systems using Petri net models is well-studied. Also, their usage for specification of digital controllers is widely used. Yet, it is recognized that we have a lack of tools when facing support for the implementation of these models, namely for automatic code generation. The paper briefly presents the FORDESIGN project that aims to develop a set of tools to contribute for filling this gap within automation systems and (networked) embedded systems development. The set of tools is based on a Petri net class, named as Input-Output Petri Net (IOPT), and its representation using the Petri Net Markup Language (PNML). The paper presents some rules used by an automatic code generator able to produce VHDL code starting with the PNML representation of the Petri net model.

U2 - 10.1109/ISIE.2010.5637670

DO - 10.1109/ISIE.2010.5637670

M3 - Conference contribution

SN - 978-1-4244-6390-9

SP - 94

EP - 99

BT - IEEE International Symposium on Industrial Electronics

T2 - ISIE’2010 - IEEE International Symposium on Industrial Electronics

Y2 - 1 January 2010

ER -