Publicação
PNML based composition in non-autonomous Petri net models
| Resumo: | 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. |
|---|---|
| Autores principais: | Gomes, L. |
| Outros Autores: | Barros, João |
| Assunto: | Petri nets Hypermedia markup languages |
| Ano: | 2009 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Instituto Politécnico de Beja |
| Idioma: | inglês |
| Origem: | Repositório Institucional do IPBeja |
| _version_ | 1866902685263855616 |
|---|---|
| author | Gomes, L. |
| author2 | Barros, João |
| author2_role | author |
| author_facet | Gomes, L. Barros, João |
| author_role | author |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Gomes, L.\"},{\"Person.name\":\"Barros, João\"}] |
| datacite.creators.creator.creatorName.fl_str_mv | Gomes, L. Barros, João |
| datacite.date.Accepted.fl_str_mv | 2009-11-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2013-10-17T10:19:05Z 2009-11-01T00:00:00Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| datacite.subjects.subject.fl_str_mv | Petri nets Hypermedia markup languages |
| datacite.titles.title.fl_str_mv | PNML based composition in non-autonomous Petri net models |
| dc.creator.none.fl_str_mv | Gomes, L. Barros, João |
| dc.date.Accepted.fl_str_mv | 2009-11-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2013-10-17T10:19:05Z 2009-11-01T00:00:00Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | http://hdl.handle.net/20.500.12207/514 |
| dc.language.none.fl_str_mv | eng |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| dc.subject.none.fl_str_mv | Petri nets Hypermedia markup languages |
| dc.title.fl_str_mv | PNML based composition in non-autonomous Petri net models |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| description | 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. |
| dirty | 0 |
| eu_rights_str_mv | restrictedAccess |
| format | conferencePaper |
| id | ripb_51e1ebff8fbe2bdae8a437f13ce2ac6a |
| identifier.url.fl_str_mv | http://hdl.handle.net/20.500.12207/514 |
| instacron_str | ipb |
| institution | Instituto Politécnico de Beja |
| instname_str | Instituto Politécnico de Beja |
| language | eng |
| network_acronym_str | ripb |
| network_name_str | Repositório Institucional do IPBeja |
| oai_identifier_str | oai:repositorio.ipbeja.pt:20.500.12207/514 |
| organization_str_mv | urn:organizationAcronym:ipb |
| person_str_mv | Gomes, L. Barros, João |
| publishDate | 2009 |
| reponame_str | Repositório Institucional do IPBeja |
| repository_id_str | urn:repositoryAcronym:ripb |
| service_str_mv | urn:repositoryAcronym:ripb |
| spelling | porThe 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.application/pdfengporPNML based composition in non-autonomous Petri net modelsGomes, L.Barros, JoãoHandlehttp://hdl.handle.net/20.500.12207/5142013-10-17T10:19:05Z2009-11-01T00:00:00Z2009-11-01T00:00:00Z2009-11http://purl.org/coar/access_right/c_16ecrestricted accessporPetri netsporHypermedia markup languages307184 byteshttp://purl.org/coar/access_right/c_16ecapplication/pdffulltexthttps://repositorio.ipbeja.pt/bitstreams/2a5cad0f-0846-46f7-87a2-5ae275c85d47/downloadother research producthttp://purl.org/coar/resource_type/c_5794conference paper |
| spellingShingle | PNML based composition in non-autonomous Petri net models Gomes, L. Petri nets Hypermedia markup languages |
| status | SINGLETON |
| subject.fl_str_mv | Petri nets Hypermedia markup languages |
| title | PNML based composition in non-autonomous Petri net models |
| title_full | PNML based composition in non-autonomous Petri net models |
| title_fullStr | PNML based composition in non-autonomous Petri net models |
| title_full_unstemmed | PNML based composition in non-autonomous Petri net models |
| title_short | PNML based composition in non-autonomous Petri net models |
| title_sort | PNML based composition in non-autonomous Petri net models |
| topic | Petri nets Hypermedia markup languages |
| topic_facet | Petri nets Hypermedia markup languages |
| url | http://hdl.handle.net/20.500.12207/514 |
| visible | 1 |