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