Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos
Resumen: En este artículo se propone una red de Petri, interpretada, estocástica, (st-IPN), como modelo para representar el lenguaje regular obtenido a partir de la combinación de señales de entrada - salida, en un sistema de eventos discretos (SED) en lazo cerrado. Las señales de entrada, son las s...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universitat Politecnica de Valencia
2016-04-01
|
| Series: | Revista Iberoamericana de Automática e Informática Industrial RIAI |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1697791216000066 |
| _version_ | 1818623516400943104 |
|---|---|
| author | Doyra Mariela Muñoz Antonio Correcher Emilio García Francisco Morant |
| author_facet | Doyra Mariela Muñoz Antonio Correcher Emilio García Francisco Morant |
| author_sort | Doyra Mariela Muñoz |
| collection | DOAJ |
| description | Resumen: En este artículo se propone una red de Petri, interpretada, estocástica, (st-IPN), como modelo para representar el lenguaje regular obtenido a partir de la combinación de señales de entrada - salida, en un sistema de eventos discretos (SED) en lazo cerrado. Las señales de entrada, son las señales externas que afecten al sistema y las órdenes de control emitidas por el controlador a la planta y las señales de salida son las respuestas de los sensores a las órdenes de control. La st-IPN propuesta, es un generador determinista del lenguaje legal de sistema, capaz de representar secuencias de eventos temporizados de naturaleza estocástica. El modelo propuesto puede ser aplicado a sistemas de gran escala, a partir de la división del sistema en subsistemas, ya que el modelo global puede ser encontrado con base en la composición de los modelos de los subsistemas. Abstract: In this paper is proposed a stochastic interpreted Petri net, (st-IPN) as a model to represent the regular language derived from the combination of input signals in a Discrete Event System (DES) in closed loop. The input signals are external signals affecting the system and the control commands issued by the controller to the plant and the output signals are the responses of the sensors to the control commands. The st-IPN proposed is a deterministic generator of the system legal language able to represent sequences of stochastic timed events. The proposed model can be applied to large-scale systems, from the division of the system into subsystems, since the global model can be a composition of the subsystems models. Palabras clave: Modelado de sistemas de eventos discretos, Redes de Petri, Observabilidad temporal., Keywords: Modelling of Discrete Event Systems, Petri Nets, Timed Observability. |
| first_indexed | 2024-12-16T18:42:18Z |
| format | Article |
| id | doaj.art-ae3fc4cc26bf49d494ef983f3e4345bc |
| institution | Directory Open Access Journal |
| issn | 1697-7912 |
| language | Spanish |
| last_indexed | 2024-12-16T18:42:18Z |
| publishDate | 2016-04-01 |
| publisher | Universitat Politecnica de Valencia |
| record_format | Article |
| series | Revista Iberoamericana de Automática e Informática Industrial RIAI |
| spelling | doaj.art-ae3fc4cc26bf49d494ef983f3e4345bc2022-12-21T22:21:00ZspaUniversitat Politecnica de ValenciaRevista Iberoamericana de Automática e Informática Industrial RIAI1697-79122016-04-01132207219Generación Determinística de Lenguajes Legales para Sistemas de Eventos DiscretosDoyra Mariela Muñoz0Antonio Correcher1Emilio García2Francisco Morant3Grupo de Automática Industrial, Universidad del Cauca, Popayán, Colombia; Autor para correspondencia.Instituto de Automática e Informática Industrial, Universitat Politècnica de València, Camino de Vera, no14, 46022, Valencia, EspañaInstituto de Automática e Informática Industrial, Universitat Politècnica de València, Camino de Vera, no14, 46022, Valencia, EspañaInstituto de Automática e Informática Industrial, Universitat Politècnica de València, Camino de Vera, no14, 46022, Valencia, EspañaResumen: En este artículo se propone una red de Petri, interpretada, estocástica, (st-IPN), como modelo para representar el lenguaje regular obtenido a partir de la combinación de señales de entrada - salida, en un sistema de eventos discretos (SED) en lazo cerrado. Las señales de entrada, son las señales externas que afecten al sistema y las órdenes de control emitidas por el controlador a la planta y las señales de salida son las respuestas de los sensores a las órdenes de control. La st-IPN propuesta, es un generador determinista del lenguaje legal de sistema, capaz de representar secuencias de eventos temporizados de naturaleza estocástica. El modelo propuesto puede ser aplicado a sistemas de gran escala, a partir de la división del sistema en subsistemas, ya que el modelo global puede ser encontrado con base en la composición de los modelos de los subsistemas. Abstract: In this paper is proposed a stochastic interpreted Petri net, (st-IPN) as a model to represent the regular language derived from the combination of input signals in a Discrete Event System (DES) in closed loop. The input signals are external signals affecting the system and the control commands issued by the controller to the plant and the output signals are the responses of the sensors to the control commands. The st-IPN proposed is a deterministic generator of the system legal language able to represent sequences of stochastic timed events. The proposed model can be applied to large-scale systems, from the division of the system into subsystems, since the global model can be a composition of the subsystems models. Palabras clave: Modelado de sistemas de eventos discretos, Redes de Petri, Observabilidad temporal., Keywords: Modelling of Discrete Event Systems, Petri Nets, Timed Observability.http://www.sciencedirect.com/science/article/pii/S1697791216000066 |
| spellingShingle | Doyra Mariela Muñoz Antonio Correcher Emilio García Francisco Morant Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos Revista Iberoamericana de Automática e Informática Industrial RIAI |
| title | Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos |
| title_full | Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos |
| title_fullStr | Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos |
| title_full_unstemmed | Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos |
| title_short | Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos |
| title_sort | generacion deterministica de lenguajes legales para sistemas de eventos discretos |
| url | http://www.sciencedirect.com/science/article/pii/S1697791216000066 |
| work_keys_str_mv | AT doyramarielamunoz generaciondeterministicadelenguajeslegalesparasistemasdeeventosdiscretos AT antoniocorrecher generaciondeterministicadelenguajeslegalesparasistemasdeeventosdiscretos AT emiliogarcia generaciondeterministicadelenguajeslegalesparasistemasdeeventosdiscretos AT franciscomorant generaciondeterministicadelenguajeslegalesparasistemasdeeventosdiscretos |