Publicação
Input event modeling for discrete-event controllers: A petri net approach
| Resumo: | The modeling of controllers for discrete-event systems commonly uses state-based formalisms, such as state diagrams and Petri nets. These modeling formalisms heavily rely on the concept of events. From an automation system perspective, events can be characterized as changes on a signal or other variable. Several types of events can be defined, considering different types of signals, including Boolean and multi-valued signals, as well as different types of dependencies in terms of the evolution of the signals. For the presented work, the model of the controller is produced using IOPT nets, a non-autonomous Petri nets class. In this paper, a set of translation rules for several types of events is proposed allowing the generation of behaviorally equivalent IOPT Petri net models, which will be executed concurrently with the main model constrained by the translated events. An example is presented to illustrate the benefits associated with the usage of the proposed translation rules. We conclude by identifying some future work, namely their integration with the IOPT-Tools framework, which is freely available to use. |
|---|---|
| Autores principais: | Gomes, Luís |
| Outros Autores: | Campos-Rebelo, Rogério; Costa, Anikó; Barros, João |
| Assunto: | Petri nets Events Discrete-event systems Signal interpretation |
| Ano: | 2022 |
| 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_ | 1866902704642588672 |
|---|---|
| author | Gomes, Luís |
| author2 | Campos-Rebelo, Rogério Costa, Anikó Barros, João |
| author2_role | author author author |
| author_facet | Gomes, Luís Campos-Rebelo, Rogério Costa, Anikó Barros, João |
| author_role | author |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Gomes, Luís\"},{\"Person.name\":\"Campos-Rebelo, Rogério\"},{\"Person.name\":\"Costa, Anikó\"},{\"Person.name\":\"Barros, João\"}] |
| datacite.creators.creator.creatorName.fl_str_mv | Gomes, Luís Campos-Rebelo, Rogério Costa, Anikó Barros, João |
| datacite.date.Accepted.fl_str_mv | 2022-07-02T00:00:00Z |
| datacite.date.available.fl_str_mv | 2025-02-10T15:11:46Z 2023-07-03T00:00:00Z |
| datacite.date.embargoed.fl_str_mv | 2023-07-03T00:00:00Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| datacite.subjects.subject.fl_str_mv | Petri nets Events Discrete-event systems Signal interpretation |
| datacite.titles.title.fl_str_mv | Input event modeling for discrete-event controllers: A petri net approach |
| dc.creator.none.fl_str_mv | Gomes, Luís Campos-Rebelo, Rogério Costa, Anikó Barros, João |
| dc.date.Accepted.fl_str_mv | 2022-07-02T00:00:00Z |
| dc.date.available.fl_str_mv | 2025-02-10T15:11:46Z 2023-07-03T00:00:00Z |
| dc.date.embargoed.fl_str_mv | 2023-07-03T00:00:00Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://repositorio.ipbeja.pt/handle/20.500.12207/6656 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | Springer |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| dc.subject.none.fl_str_mv | Petri nets Events Discrete-event systems Signal interpretation |
| dc.title.fl_str_mv | Input event modeling for discrete-event controllers: A petri net approach |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| description | The modeling of controllers for discrete-event systems commonly uses state-based formalisms, such as state diagrams and Petri nets. These modeling formalisms heavily rely on the concept of events. From an automation system perspective, events can be characterized as changes on a signal or other variable. Several types of events can be defined, considering different types of signals, including Boolean and multi-valued signals, as well as different types of dependencies in terms of the evolution of the signals. For the presented work, the model of the controller is produced using IOPT nets, a non-autonomous Petri nets class. In this paper, a set of translation rules for several types of events is proposed allowing the generation of behaviorally equivalent IOPT Petri net models, which will be executed concurrently with the main model constrained by the translated events. An example is presented to illustrate the benefits associated with the usage of the proposed translation rules. We conclude by identifying some future work, namely their integration with the IOPT-Tools framework, which is freely available to use. |
| dirty | 0 |
| eu_rights_str_mv | restrictedAccess |
| format | conferencePaper |
| id | ripb_a03f3afa3ff25aeb473fbbb3ed3efa0b |
| identifier.url.fl_str_mv | https://repositorio.ipbeja.pt/handle/20.500.12207/6656 |
| 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/6656 |
| organization_str_mv | urn:organizationAcronym:ipb |
| person_str_mv | Gomes, Luís Campos-Rebelo, Rogério Costa, Anikó Barros, João |
| publishDate | 2022 |
| publisher.none.fl_str_mv | Springer |
| reponame_str | Repositório Institucional do IPBeja |
| repository_id_str | urn:repositoryAcronym:ripb |
| service_str_mv | urn:repositoryAcronym:ripb |
| spelling | porThe modeling of controllers for discrete-event systems commonly uses state-based formalisms, such as state diagrams and Petri nets. These modeling formalisms heavily rely on the concept of events. From an automation system perspective, events can be characterized as changes on a signal or other variable. Several types of events can be defined, considering different types of signals, including Boolean and multi-valued signals, as well as different types of dependencies in terms of the evolution of the signals. For the presented work, the model of the controller is produced using IOPT nets, a non-autonomous Petri nets class. In this paper, a set of translation rules for several types of events is proposed allowing the generation of behaviorally equivalent IOPT Petri net models, which will be executed concurrently with the main model constrained by the translated events. An example is presented to illustrate the benefits associated with the usage of the proposed translation rules. We conclude by identifying some future work, namely their integration with the IOPT-Tools framework, which is freely available to use.application/pdfengSpringerInput event modeling for discrete-event controllers: A petri net approachGomes, LuísCampos-Rebelo, RogérioCosta, AnikóBarros, JoãoURLhttps://repositorio.ipbeja.pt/handle/20.500.12207/6656ISBNIsPartOf978-3-031-10047-5DOIIsPartOf10.1007/978-3-031-10047-5_442025-02-10T15:11:46Z2023-07-03T00:00:00Z2022-07-02T00:00:00Z2022-07-02http://purl.org/coar/access_right/c_16ecrestricted accessporPetri netsporEventsporDiscrete-event systemsSignal interpretation654970 byteshttp://purl.org/coar/access_right/c_16ecapplication/pdffulltexthttps://repositorio.ipbeja.pt/bitstreams/aca3f494-d255-462c-af30-47ca5d5a61b0/downloadother research producthttp://purl.org/coar/resource_type/c_5794conference paper |
| spellingShingle | Input event modeling for discrete-event controllers: A petri net approach Gomes, Luís Petri nets Events Discrete-event systems Signal interpretation |
| status | SINGLETON |
| subject.fl_str_mv | Petri nets Events Discrete-event systems Signal interpretation |
| title | Input event modeling for discrete-event controllers: A petri net approach |
| title_full | Input event modeling for discrete-event controllers: A petri net approach |
| title_fullStr | Input event modeling for discrete-event controllers: A petri net approach |
| title_full_unstemmed | Input event modeling for discrete-event controllers: A petri net approach |
| title_short | Input event modeling for discrete-event controllers: A petri net approach |
| title_sort | Input event modeling for discrete-event controllers: A petri net approach |
| topic | Petri nets Events Discrete-event systems Signal interpretation |
| topic_facet | Petri nets Events Discrete-event systems Signal interpretation |
| url | https://repositorio.ipbeja.pt/handle/20.500.12207/6656 |
| visible | 1 |