PNML based composition in non-autonomous Petri net models. Gomes, L. & Barros, J., P. In IECON Proceedings (Industrial Electronics Conference), pages 4377-4382, 2009. abstract bibtex The Petri Net Markup Language (PNML) allows the specification of Petri net models based on their primitive elements: places, transitions, and arcs. This paper proposes a complementary way to define non-autonomous Petri net models, based on model addition. The net addition operation is applied at two levels: the structural level (related with the autonomous part of the Petri net model) and the annotations level (related with the non-autonomous part of the Petri net model, and supporting representation for input and output signals and events). This approach allows the construction and modification of Petri net models in a flexible way supporting not only modular composition, but also model modifications. The net addition operator was implemented as a tool and integrated in a framework allowing graphical editing of nets and compositions, as well as automatic code generation to C and VHDL and deployment into implementation platforms, such as microcontrollers and FPGA (Field-Programmable Gate Array). The paper illustrates the application of the net addition operation to an example of a controller for an automation system.
@inProceedings{
id = {cbddef4f-f909-3928-af89-a9ecd458c49d},
title = {PNML based composition in non-autonomous Petri net models},
type = {inProceedings},
year = {2009},
created = {2015-02-03T17:57:22.000Z},
pages = {4377-4382},
file_attached = {false},
profile_id = {110ddaf8-5785-3f17-8c5c-71dcba3c519c},
last_modified = {2015-02-03T17:57:24.000Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {true},
hidden = {false},
abstract = {The Petri Net Markup Language (PNML) allows the specification of Petri net models based on their primitive elements: places, transitions, and arcs. This paper proposes a complementary way to define non-autonomous Petri net models, based on model addition. The net addition operation is applied at two levels: the structural level (related with the autonomous part of the Petri net model) and the annotations level (related with the non-autonomous part of the Petri net model, and supporting representation for input and output signals and events). This approach allows the construction and modification of Petri net models in a flexible way supporting not only modular composition, but also model modifications. The net addition operator was implemented as a tool and integrated in a framework allowing graphical editing of nets and compositions, as well as automatic code generation to C and VHDL and deployment into implementation platforms, such as microcontrollers and FPGA (Field-Programmable Gate Array). The paper illustrates the application of the net addition operation to an example of a controller for an automation system.},
bibtype = {inProceedings},
author = {Gomes, Luís and Barros, João Paulo},
booktitle = {IECON Proceedings (Industrial Electronics Conference)}
}
Downloads: 0
{"_id":"7AZwfRouZjA46Swd8","authorIDs":[],"author_short":["Gomes, L.","Barros, J., P."],"bibbaseid":"gomes-barros-pnmlbasedcompositioninnonautonomouspetrinetmodels-2009","bibdata":{"id":"cbddef4f-f909-3928-af89-a9ecd458c49d","title":"PNML based composition in non-autonomous Petri net models","type":"inProceedings","year":"2009","created":"2015-02-03T17:57:22.000Z","pages":"4377-4382","file_attached":false,"profile_id":"110ddaf8-5785-3f17-8c5c-71dcba3c519c","last_modified":"2015-02-03T17:57:24.000Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"abstract":"The Petri Net Markup Language (PNML) allows the specification of Petri net models based on their primitive elements: places, transitions, and arcs. This paper proposes a complementary way to define non-autonomous Petri net models, based on model addition. The net addition operation is applied at two levels: the structural level (related with the autonomous part of the Petri net model) and the annotations level (related with the non-autonomous part of the Petri net model, and supporting representation for input and output signals and events). This approach allows the construction and modification of Petri net models in a flexible way supporting not only modular composition, but also model modifications. The net addition operator was implemented as a tool and integrated in a framework allowing graphical editing of nets and compositions, as well as automatic code generation to C and VHDL and deployment into implementation platforms, such as microcontrollers and FPGA (Field-Programmable Gate Array). The paper illustrates the application of the net addition operation to an example of a controller for an automation system.","bibtype":"inProceedings","author":"Gomes, Luís and Barros, João Paulo","booktitle":"IECON Proceedings (Industrial Electronics Conference)","bibtex":"@inProceedings{\n id = {cbddef4f-f909-3928-af89-a9ecd458c49d},\n title = {PNML based composition in non-autonomous Petri net models},\n type = {inProceedings},\n year = {2009},\n created = {2015-02-03T17:57:22.000Z},\n pages = {4377-4382},\n file_attached = {false},\n profile_id = {110ddaf8-5785-3f17-8c5c-71dcba3c519c},\n last_modified = {2015-02-03T17:57:24.000Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n abstract = {The Petri Net Markup Language (PNML) allows the specification of Petri net models based on their primitive elements: places, transitions, and arcs. This paper proposes a complementary way to define non-autonomous Petri net models, based on model addition. The net addition operation is applied at two levels: the structural level (related with the autonomous part of the Petri net model) and the annotations level (related with the non-autonomous part of the Petri net model, and supporting representation for input and output signals and events). This approach allows the construction and modification of Petri net models in a flexible way supporting not only modular composition, but also model modifications. The net addition operator was implemented as a tool and integrated in a framework allowing graphical editing of nets and compositions, as well as automatic code generation to C and VHDL and deployment into implementation platforms, such as microcontrollers and FPGA (Field-Programmable Gate Array). The paper illustrates the application of the net addition operation to an example of a controller for an automation system.},\n bibtype = {inProceedings},\n author = {Gomes, Luís and Barros, João Paulo},\n booktitle = {IECON Proceedings (Industrial Electronics Conference)}\n}","author_short":["Gomes, L.","Barros, J., P."],"bibbaseid":"gomes-barros-pnmlbasedcompositioninnonautonomouspetrinetmodels-2009","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inProceedings","biburl":null,"creationDate":"2015-04-16T08:06:04.730Z","downloads":0,"keywords":[],"search_terms":["pnml","based","composition","non","autonomous","petri","net","models","gomes","barros"],"title":"PNML based composition in non-autonomous Petri net models","year":2009}