In this paper we present a new input-output place-transition (IOPT) Petri net metamodel and its Petri Net Type Definition (PNTD) using a RELAX NG grammar. This new version introduces changes to the previous metamodel ...
详细信息
ISBN:
(纸本)9781457704345
In this paper we present a new input-output place-transition (IOPT) Petri net metamodel and its Petri Net Type Definition (PNTD) using a RELAX NG grammar. This new version introduces changes to the previous metamodel to ensure that the model representation follows the International Standard guidelines to extend PNML and to fully support automatic generation of models state space. The validation of this revised metamodel and the corresponding PNTD were made through case studies. The new concepts introduced in the metamodel have demonstrated their validity and usefulness, in the automatic generation of executable code and the state space. The correctness of the RELAX NG grammar was also validated through case studies.
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 containi...
详细信息
ISBN:
(纸本)9781457704345
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.
暂无评论