• DocumentCode
    3518618
  • Title

    From IOPT Petri nets to C: An automatic code generator tool

  • Author

    Campos-Rebelo, Rogério ; Pereira, Fernando ; Moutinho, Filipe ; Gomes, Luís

  • Author_Institution
    Fac. de Cienc. e Tecnol., Univ. Nova de Lisboa, Lisbon, Portugal
  • fYear
    2011
  • fDate
    26-29 July 2011
  • Firstpage
    390
  • Lastpage
    395
  • Abstract
    This paper presents a tool for automatic generation of ANSI C code from models expressed in IOPT (Input-Output Place-Transition) Petri Nets. The inputs of the tool are PNML (Petri Nets Mark-up Language) files containing the IOPT Petri net models. The tool has two different interfaces: one relying on a simple graphical interface (amenable to be used by humans), and a second one with a command line interface (amenable to be used by humans as well as by other computational systems supporting tools interaction). The tool also allows the user to tune some parts of the automatically generated code considering some characteristics of the implementation platform improving the performance of the generated code. Generated code can be directly deployed into specific controllers; PIC low-cost microcontrollers as well as general purpose PCs have been used for validation.
  • Keywords
    ANSI standards; C language; Petri nets; program compilers; specification languages; ANSI C code; IOPT Petri net; PIC low-cost microcontroller; PNML; Petri Nets Mark-up Language; automatic code generator tool; command line interface; generated code; graphical interface; input-output place-transition; Data structures; Fires; Humans; Microcontrollers; Petri nets; Semantics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Informatics (INDIN), 2011 9th IEEE International Conference on
  • Conference_Location
    Caparica, Lisbon
  • Print_ISBN
    978-1-4577-0435-2
  • Electronic_ISBN
    978-1-4577-0433-8
  • Type

    conf

  • DOI
    10.1109/INDIN.2011.6034908
  • Filename
    6034908