Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/514
Title: | PNML based composition in non-autonomous Petri net models |
Authors: | Gomes, L. Barros, João Paulo |
Keywords: | Petri nets Hypermedia markup languages |
Issue Date: | Nov-2009 |
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. |
Description: | Published in: Industrial Electronics, 2009. IECON '09. 35th Annual Conference of IEEE |
URI: | http://hdl.handle.net/20.500.12207/514 |
Publisher version: | http://dx.doi.org/10.1109/IECON.2009.5414908 |
Appears in Collections: | D-ENG - Comunicações com peer review |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.