Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/514
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gomes, L. | - |
dc.contributor.author | Barros, João Paulo | - |
dc.date.accessioned | 2013-10-17T10:19:05Z | - |
dc.date.available | 2009-11 | - |
dc.date.available | 2013-10-17T10:19:05Z | - |
dc.date.issued | 2009-11 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12207/514 | - |
dc.description | Published in: Industrial Electronics, 2009. IECON '09. 35th Annual Conference of IEEE | pt |
dc.description.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. | pt |
dc.language.iso | eng | pt |
dc.rights | closedAccess | pt |
dc.subject | Petri nets | pt |
dc.subject | Hypermedia markup languages | pt |
dc.title | PNML based composition in non-autonomous Petri net models | pt |
dc.type | conferenceObject | pt |
dc.relation.publisherversion | http://dx.doi.org/10.1109/IECON.2009.5414908 | pt |
degois.publication.firstPage | 4377 | pt |
degois.publication.lastPage | 4382 | pt |
degois.publication.location | Porto | pt |
degois.publication.title | Industrial electronics | pt |
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.