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 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.

Referencias no citadas

Ashley, 2004, Ashley y Holloway, 2004, Basile et al., 2011, Berthomieu y Diaz, 1991, Berthomieu et al., 2006, Berthomieu et al., 2004, Boucheneb y Hadjidj, 2006, Cabasino et al., 2011, Cassandras y Lafortune, 2008, Cassez y Tripakis, 2008, Correcher, 2005, Desel, 2013, Dotoli et al., 2008, Dotoli et al., 2007, Estrada-Vargas et al., 2012, Fanti et al., 2012, Gardey et al., 2005, Gaubert y Giua, 1996, Girault y Valk, 2003, Giua, 2013, González-Miranda y Cerrada-Lozada, 2014, Guasch et al., 2005, Hernández y Meda-Campana, 2012, Holloway et al., 2000, Hu et al., 2012, Ichikawa y Hiraishi, 1988, Kumar y Holloway, 1996, Lunze, 1998, Merlin y Farber, 1976, Muñoz et al., 2014, Murata, 1989, Nakamura et al., 1998, Patil et al., 2012, Peres et al., 2011, Piera y Music, 2011, Ramadge y Wonham, 1989, Ramirez-Treviño et al., 2012, Ramirez-Treviño, 2007, Salum, 2008, Sampath et al., 1996, Silva, 1993, Silva y Recalde, 2007, Sreenivas, 1993, Sreenivas, 2006, Sreenivas y Krogh, 1991 and Valk y Vidal-Naquet, 1981.