Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos

Abstract

ResumenEn 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 del 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. Palabras Clave:Modelado de sistemas de eventos discretos, Redes de Petri, Observabilidad temporal. * Autor en correspondencia.

Una representación basada en esquemas preconceptuales de eventos determinísticos y aleatorios tipo señal desde dominios de software científico

“…En algunos enfoques del modelado científico se incluye la representación de eventos determinísticos tipo señal mediante modelos gráficos y matemáticos. Muñoz et al [7] presentan una red de Petri y un modelo matemático para representar la combinación de señales de entrada y salida. Sin embargo, no incluyen el modelo matemático en la red de Petri.…”

“…Muñoz et al [7], de las Morenas et al [8] y Ramírez y Colina [9] representan eventos determinísticos tipo señal y Priyadharshini y Justin [10] y Di Leo et al [11] representan eventos aleatorios tipo señal mediante modelos gráficos y matemáticos del modelado científico. En los anteriores enfoques no se agrupa la representación matemática de los eventos en la representación gráfica.…”