Publicação
An Ecore based Petri net type definition for PNML IOPT models
| Resumo: | In this paper we present a new Input-Output Place-Transition (IOPT) Petri net metamodel and its Petri Net Type Definition (PNTD) using a RELAX NG grammar. This new version introduces changes to the previous metamodel to ensure that the model representation follows the International Standard guidelines to extend PNML and to fully support automatic generation of models state space. The validation of this revised metamodel and the corresponding PNTD were made through case studies. The new concepts introduced in the metamodel have demonstrated their validity and usefulness, in the automatic generation of executable code and the state space. The correctness of the RELAX NG grammar was also validated through case studies. |
|---|---|
| Autores principais: | Ribeiro, J. |
| Outros Autores: | Moutinho, F.; Gomes, L.; Barros, João; Pereira, Fernanda |
| Assunto: | Automatic generation Automatic programming Petri nets |
| Ano: | 2011 |
| País: | Portugal |
| Tipo de documento: | outro |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Instituto Politécnico de Beja |
| Idioma: | inglês |
| Origem: | Repositório Institucional do IPBeja |
| _version_ | 1866902704450699264 |
|---|---|
| author | Ribeiro, J. |
| author2 | Moutinho, F. Gomes, L. Barros, João Pereira, Fernanda |
| author2_role | author author author author |
| author_facet | Ribeiro, J. Moutinho, F. Gomes, L. Barros, João Pereira, Fernanda |
| author_role | author |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Ribeiro, J.\"},{\"Person.name\":\"Moutinho, F.\"},{\"Person.name\":\"Gomes, L.\"},{\"Person.name\":\"Barros, João\"},{\"Person.name\":\"Pereira, Fernanda\"}] |
| datacite.creators.creator.creatorName.fl_str_mv | Ribeiro, J. Moutinho, F. Gomes, L. Barros, João Pereira, Fernanda |
| datacite.date.Accepted.fl_str_mv | 2011-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2013-12-06T16:25:13Z 2011-01-01T00:00:00Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| datacite.subjects.subject.fl_str_mv | Automatic generation Automatic programming Petri nets |
| datacite.titles.title.fl_str_mv | An Ecore based Petri net type definition for PNML IOPT models |
| dc.creator.none.fl_str_mv | Ribeiro, J. Moutinho, F. Gomes, L. Barros, João Pereira, Fernanda |
| dc.date.Accepted.fl_str_mv | 2011-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2013-12-06T16:25:13Z 2011-01-01T00:00:00Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | http://hdl.handle.net/20.500.12207/646 |
| 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 | Automatic generation Automatic programming Petri nets |
| dc.title.fl_str_mv | An Ecore based Petri net type definition for PNML IOPT models |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_1843 |
| description | In this paper we present a new Input-Output Place-Transition (IOPT) Petri net metamodel and its Petri Net Type Definition (PNTD) using a RELAX NG grammar. This new version introduces changes to the previous metamodel to ensure that the model representation follows the International Standard guidelines to extend PNML and to fully support automatic generation of models state space. The validation of this revised metamodel and the corresponding PNTD were made through case studies. The new concepts introduced in the metamodel have demonstrated their validity and usefulness, in the automatic generation of executable code and the state space. The correctness of the RELAX NG grammar was also validated through case studies. |
| dirty | 0 |
| eu_rights_str_mv | restrictedAccess |
| format | other |
| id | ripb_585987bfe2dce7a5d84c8b8e876a3afd |
| identifier.url.fl_str_mv | http://hdl.handle.net/20.500.12207/646 |
| 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/646 |
| organization_str_mv | urn:organizationAcronym:ipb |
| person_str_mv | Ribeiro, J. Moutinho, F. Gomes, L. Barros, João Pereira, Fernanda |
| publishDate | 2011 |
| reponame_str | Repositório Institucional do IPBeja |
| repository_id_str | urn:repositoryAcronym:ripb |
| service_str_mv | urn:repositoryAcronym:ripb |
| spelling | pt_PTIn this paper we present a new Input-Output Place-Transition (IOPT) Petri net metamodel and its Petri Net Type Definition (PNTD) using a RELAX NG grammar. This new version introduces changes to the previous metamodel to ensure that the model representation follows the International Standard guidelines to extend PNML and to fully support automatic generation of models state space. The validation of this revised metamodel and the corresponding PNTD were made through case studies. The new concepts introduced in the metamodel have demonstrated their validity and usefulness, in the automatic generation of executable code and the state space. The correctness of the RELAX NG grammar was also validated through case studies.application/pdfengpt_PTAn Ecore based Petri net type definition for PNML IOPT modelsRibeiro, J.Moutinho, F.Gomes, L.Barros, JoãoPereira, FernandaHandlehttp://hdl.handle.net/20.500.12207/646ISBNIsPartOf978-1-4577-0434-52013-12-06T16:25:13Z2011-01-01T00:00:00Z2011-01-01T00:00:00Z2011http://purl.org/coar/access_right/c_16ecrestricted accesspt_PTAutomatic generationpt_PTAutomatic programmingpt_PTPetri nets444985 byteshttp://purl.org/coar/access_right/c_16ecapplication/pdffulltexthttps://repositorio.ipbeja.pt/bitstreams/9db02072-c0dd-49f5-b47b-1324046119ea/downloadother research producthttp://purl.org/coar/resource_type/c_1843other |
| spellingShingle | An Ecore based Petri net type definition for PNML IOPT models Ribeiro, J. Automatic generation Automatic programming Petri nets |
| status | SINGLETON |
| subject.fl_str_mv | Automatic generation Automatic programming Petri nets |
| title | An Ecore based Petri net type definition for PNML IOPT models |
| title_full | An Ecore based Petri net type definition for PNML IOPT models |
| title_fullStr | An Ecore based Petri net type definition for PNML IOPT models |
| title_full_unstemmed | An Ecore based Petri net type definition for PNML IOPT models |
| title_short | An Ecore based Petri net type definition for PNML IOPT models |
| title_sort | An Ecore based Petri net type definition for PNML IOPT models |
| topic | Automatic generation Automatic programming Petri nets |
| topic_facet | Automatic generation Automatic programming Petri nets |
| url | http://hdl.handle.net/20.500.12207/646 |
| visible | 1 |