Publicação

Input event modeling for discrete-event controllers: A petri net approach

Ver documento

Detalhes bibliográficos
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

Registos relacionados

Registos relacionados