Publicação
Exploring high-level petri nets for model-driven development of digital controllers
| Resumo: | While low-level Petri nets are common for discrete-event controllers, their capacity is limited. High-level nets of-fer greater potential within Model-Driven Engineering (MDE) for ensuring correctness throughout modeling, simulation, and implementation, but this is not fully realized. This work-in-progress paper presents an approach based on a particular class of high-level nets with a threefold objective: (1) allow the design of complex controllers with data processing; (2) ease the use of interconnected Petri nets modules to build larger models; (3) test the controller with automatically generated input values. Supported by a flexible, open-source tool allowing external interaction (e.g., with code for data generating or processing), we show the methodology using a sluice gate example for offline modeling and simulation, featuring a pattern for environment-controller communication. This approach makes possible more robust model-based real-time controllers, laying the groundwork for upcoming physical device interactions. |
|---|---|
| Autores principais: | Barros, João |
| Outros Autores: | Gomes, Luís |
| Assunto: | Petri nets Controller Reference nets Renew Simulation High-level nets Non-autonomous nets |
| Ano: | 2025 |
| 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_ | 1866902703734521856 |
|---|---|
| author | Barros, João |
| author2 | Gomes, Luís |
| author2_role | author |
| author_facet | Barros, João Gomes, Luís |
| author_role | author |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Barros, João\"},{\"Person.name\":\"Gomes, Luís\"}] |
| datacite.creators.creator.creatorName.fl_str_mv | Barros, João Gomes, Luís |
| datacite.date.Accepted.fl_str_mv | 2025-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2026-02-03T11:40:18Z |
| datacite.date.embargoed.fl_str_mv | 2026-02-03T11:40:18Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| datacite.subjects.subject.fl_str_mv | Petri nets Controller Reference nets Renew Simulation High-level nets Non-autonomous nets |
| datacite.titles.title.fl_str_mv | Exploring high-level petri nets for model-driven development of digital controllers |
| dc.creator.none.fl_str_mv | Barros, João Gomes, Luís |
| dc.date.Accepted.fl_str_mv | 2025-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2026-02-03T11:40:18Z |
| dc.date.embargoed.fl_str_mv | 2026-02-03T11:40:18Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://repositorio.ipbeja.pt/handle/20.500.12207/7083 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | IEEE |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| dc.subject.none.fl_str_mv | Petri nets Controller Reference nets Renew Simulation High-level nets Non-autonomous nets |
| dc.title.fl_str_mv | Exploring high-level petri nets for model-driven development of digital controllers |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| description | While low-level Petri nets are common for discrete-event controllers, their capacity is limited. High-level nets of-fer greater potential within Model-Driven Engineering (MDE) for ensuring correctness throughout modeling, simulation, and implementation, but this is not fully realized. This work-in-progress paper presents an approach based on a particular class of high-level nets with a threefold objective: (1) allow the design of complex controllers with data processing; (2) ease the use of interconnected Petri nets modules to build larger models; (3) test the controller with automatically generated input values. Supported by a flexible, open-source tool allowing external interaction (e.g., with code for data generating or processing), we show the methodology using a sluice gate example for offline modeling and simulation, featuring a pattern for environment-controller communication. This approach makes possible more robust model-based real-time controllers, laying the groundwork for upcoming physical device interactions. |
| dirty | 0 |
| eu_rights_str_mv | restrictedAccess |
| format | conferencePaper |
| id | ripb_cd4fea5dc149111affbc2a054ed896ff |
| identifier.url.fl_str_mv | https://repositorio.ipbeja.pt/handle/20.500.12207/7083 |
| 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/7083 |
| organization_str_mv | urn:organizationAcronym:ipb |
| person_str_mv | Barros, João Gomes, Luís |
| publishDate | 2025 |
| publisher.none.fl_str_mv | IEEE |
| reponame_str | Repositório Institucional do IPBeja |
| repository_id_str | urn:repositoryAcronym:ripb |
| service_str_mv | urn:repositoryAcronym:ripb |
| spelling | While low-level Petri nets are common for discrete-event controllers, their capacity is limited. High-level nets of-fer greater potential within Model-Driven Engineering (MDE) for ensuring correctness throughout modeling, simulation, and implementation, but this is not fully realized. This work-in-progress paper presents an approach based on a particular class of high-level nets with a threefold objective: (1) allow the design of complex controllers with data processing; (2) ease the use of interconnected Petri nets modules to build larger models; (3) test the controller with automatically generated input values. Supported by a flexible, open-source tool allowing external interaction (e.g., with code for data generating or processing), we show the methodology using a sluice gate example for offline modeling and simulation, featuring a pattern for environment-controller communication. This approach makes possible more robust model-based real-time controllers, laying the groundwork for upcoming physical device interactions.application/pdfengIEEEExploring high-level petri nets for model-driven development of digital controllersBarros, JoãoGomes, LuísURLhttps://repositorio.ipbeja.pt/handle/20.500.12207/7083ISBNIsPartOf9798350374797ISSNIsPartOf97983503748032026-02-03T11:40:18Z2025-01-01T00:00:00Z2025http://purl.org/coar/access_right/c_16ecrestricted accessPetri netsControllerReference netsRenewSimulationHigh-level netsNon-autonomous nets469731 byteshttp://purl.org/coar/access_right/c_16ecapplication/pdffulltexthttps://repositorio.ipbeja.pt/bitstreams/f76bab6c-34f4-440b-88f2-364952ceae26/downloadother research producthttp://purl.org/coar/resource_type/c_5794conference paper |
| spellingShingle | Exploring high-level petri nets for model-driven development of digital controllers Barros, João Petri nets Controller Reference nets Renew Simulation High-level nets Non-autonomous nets |
| status | SINGLETON |
| subject.fl_str_mv | Petri nets Controller Reference nets Renew Simulation High-level nets Non-autonomous nets |
| title | Exploring high-level petri nets for model-driven development of digital controllers |
| title_full | Exploring high-level petri nets for model-driven development of digital controllers |
| title_fullStr | Exploring high-level petri nets for model-driven development of digital controllers |
| title_full_unstemmed | Exploring high-level petri nets for model-driven development of digital controllers |
| title_short | Exploring high-level petri nets for model-driven development of digital controllers |
| title_sort | Exploring high-level petri nets for model-driven development of digital controllers |
| topic | Petri nets Controller Reference nets Renew Simulation High-level nets Non-autonomous nets |
| topic_facet | Petri nets Controller Reference nets Renew Simulation High-level nets Non-autonomous nets |
| url | https://repositorio.ipbeja.pt/handle/20.500.12207/7083 |
| visible | 1 |