Capítulo 2

SISTEMAS DE EVENTOS DISCRETOS

Los Sistemas de Eventos Discretos (Discrete Event Systems) también conocidos como
DES por sus siglas en inglés, son sistemas compuestos por un espacio de estados discm_tosy
conducidos por eventos. en los cuales la evolución de los estados dependen Únicamente de la
ocurrencia de eventos discretos que ocurren es espacios de tiempo asíncronos [CASSANDRAS-
08], [LAFORTUNE-06].

Al establecer que los Sistemas de Eventos Discretos (DES) poseen estados discretos,
significa que el espacio de estados del sistema está descrito' por un conjunto discreto. Por
ejemplo: { O, 1,2, ...}, {vacío, lleno, llenando}, {desocupado, ocupado}, {encendido, operando,
apagado}. .

El otro componente de los Sistemas de Eventos Discretos son las transiciones, que son
observadas en puntos. discretos de tiempo. Las transiciones se asocian con "eventos" y son los
encargados de conducir el sistema de un estado-a otro.

Los eventQS pueden ser vistos como una ocurrencia instantánea de un suceso que
ocasiona transiciones desde un estado a otro. Así pues un evento puede ser identificado con
una acción determinada, por ejemplo: alguien presiona un interruptor. Los eventos también
son vistos como una ocurrencia espontánea dictada por la naturaleza, por ejemplo: hay un
corte en la energía eléctrica, o puede ser el resultado de un conjunto de acciones, por ejemplo:
el nivel del tanque llega a un valor determinado y la temperatura de un salón es la indicada
[CURY-Ol].

Los eventos son elementos fundamentales para la evolución de los estados en los
Sistemas de Eventos Discretos y se denotan por la letra' e'. Al considerar un sistema afectado
por diferentes tipos de eventos, entonces se define el conjunto de eventos "E'; el cual
contendrá todos los eventos posibles que pueden ocurrir en el sistema. Por lo tanto, "E" es un

-23
-
conjunto discreto. El comportamiento de un sistema puede ser modelado por un lenguaje que
contiene eventos.

A modo de ejemplificar lo anteriormente expuesto, se explica el ejemplo típico de la

caminata aleatoria en 2 dírnensiones. El eiemplo consiste en modelar el sistema
correspondiente a la ubicación de una persona que se desplaza en un plano bidimensional
[CASSAJ\DRAS-081.Una posición está dada por (Xl, X2), donde Xl y XZ sólo toman valores
enteros. De esta manera se definen los estados del sistema por las posiciones XJ y X2. Por lo
tanto, el espacio de estados es un conjunto discreto con:

. - r(. .) I,J-",,-..);-~-,
.x-t',J . .- "' 1 O,:1 23
~ •..."{ (Ec.2.1)

Adicionalmente se define el conjunto de eventos:

r: = {Norte(.....),Sur (S),Esre (k.).l.kSk' (O)} (Ec.2.2)

Una vez definidos los estados y los eventos se procede a analizar el sistema, Dada la
posición inicial del sistema (0,0), se persigue conseguir el camino descrito o traza de los
estados (Xl,X2) como consecuencia de los siguientes eventos: E = {E, N. O. O, S. S. O. N } .

X2(1)
I

XI (/¿
-2 -1 O I 2

figuro 2.1 Evolución de los estados mediante eventos

Considerando cada evento como el desplazamiento en una dírecctén determinada, en el

plano (Xl. X2}, la posición final del sistema está dado por el punto [-2,0).

La ócurrencia de los eventos puede ser slncmna como asíncrona A continuación se

desarrolla esta idea mediante un ejemplo. Para ello se asume un reloj con el cual medimos el
tiempo, y consideremos dos posibilidades:

1. Pur cada movimiento del reloj (tictac) un evento e es seleccionado del conjunto de eventos
E. Si ningún evento se ejecuta, podemos pensar en un evento nulo que forma parte de E y cuya
propiedad es que este evento no causa ningún cambio de estado. Las transiciones de estado
están sincronizadas con el reloj. Existe un tlctac del reloj y un evento (o no evento) es

-
- 24
seleccionado, el estado cambia y el proceso se repite. El reloj es el responsable de identificar
cualquier posible transición de estado.

2. En varios instantes de tiempo (no necesariamente conocidos a pnon y que no

necesariamente coinciden con cada tictac del reloj], algún evento e ocurre. Cada evento e E ¡..; •
define un proceso distinto en el que ocurre el evento en cualquier instante de tiempo.

Estas diferencias permiten definir los términos de ststemas dirigidos por el tiempo
(Time·Oriven) y dirigidos por eventos (t:·vent-Driven). Claramente, los sistemas dirigidos por
eventos son más diñciles de modelar y analizar, debido a la existencia de elementos
asíncronos 4UC deben ser especificados y entendidos por el sistema. La idea de sistemas
dirigidos por eventos (Event·Driven) corresponden con la idea de la ejecución de
interrupciones en los sistemas computarizados [CASSANDRAS·08],[HRÚZ.07j.

Ejemplos de Sjstemas de Eyentos Discretos (DES!:

• El estado de una máquina puede ser seleccionado de un conjunto

(encendido, (Ipogedo), o (reposo, ocupado, fuera de servicio).

· Un computador que ejecuta un programa puede ser vi~t;I en cualquiera de los siguientes
estados
(en espera de entrada, eiecuumdose.fuera de servicio).

- Cualquier típo de Inventario consiste de entidades discretas (productos, unidades. personas)

las cuales tienen un espacio de estado de enteros no negativos

(0,1.2 ...).

· Algunos [uegos pueden ser modelados como espacio de estados díscretos. En ajedrez cada
configuración posible del tablero define un estado. El resultado es un conjunto de estados muy
.grande pero sigue siendo discreto.

· Sistemas de colas donde los eventos son

(llegada de cliente, salida de cliente)

y la variable de estado se define tomo el número de ctlcntes en la fila.

- Sistemas de manufactura.

· Sistemas de tráfico.

-25
 La teoría de Sistemas de Eventos Discretos es un área multidisctplinaria que utiliza los
conceptos de la Teoría de Control y de la Ciencia de la Computación,

2.1 Comparación entre los Sistemas Dinámicos de Variables Continuas

(CVDS)y los Sistemas de Eventos Discretos (DES)

Sjstemas Dinámicos Continuos (CVDS)

Los sistemas dinámicos continuos están basados en las ecuaciones diferenciales qun
rigen el modelo del sistema, La solución del sistema de ecuaciones, representados a través de
funciones de transferencia o de espacio de estados. muestra como evoluciona el sistema en el
tiempo ante una entrada determinada. Los sistemas dinámicos continuos tienen sus
basamentos reóricus en la teoría de control clásica y moderna.
En la Flgura :l se muestra como evoluciona la salida de un sistema, representado por la
variable X(t) en el tiempo [CASSANUItAS-OO),(HRÚZ-07J, [1,AFORTUNE-06).

X(O

N-R

Ticwpo(s)
Figura 2.2 Evolución d. un Sistema continuoen el tíempc
's
Sistemas de Eventos Discretos (PES)

Los Sisternas de Eventos Discretos (DES). son estados discretos y sistemas conducidos
1101'eventos en los cuales la evolución de los estados dependen únicamente de la ocurrencia de
eventos discretos asíncronos en el tiempo (CASSANDRAS-Oll).[HRÚZ-071, LLAfORTllNE-06].
Los estados s610 pueden cambiar en instantes de tiempo discretos. lo cual corresponde
físicamente a ocurrencias asíncronas generadas por eventos discretos,
De esta manera se puede concluir que:
1) El espacio de estados es un conjunto discreto.
2) Los mecanismos de transición de estados son conducidos por eventos.

-
-26
 En la Figura presentada a continuación se muestra un ejemplo de un sistema de eventos
discretos donde los eventos conducen a un cambio en (!Iestado.

X(t)
Sr. ------r---···.-···--,------,------,------
, , , ,, ,
, , _____ J, ______ ~______ J, ______
S5 ------ ,, ,, ,, ------

------ ..... I,
S'I , ,
,, ------"1------ .-----
S3 , ,
S2 , -----., ,..-- ..~ ,
,
.._--- ------ ------~------ ,,
, ,
------ , --.-.-
______ ~ ____ .~ •• _••• J. _____
SI ,
,, ,, ,
, ,, ,
, , , ,
t1:, [2: t:.¡ : t" :,
,,
lfi ,:
,,
Ir. 17
,
, ,, ,,
, ,, ,,
·· ~
,,
,
,
·, N ::.{SI, S'I, !:i3,S~, !i~,
,
SG} ,
,
,, :, ;
, , ,
, , , ,

[ [ [ IIII ,
tl
rcrtodos de tiempo dtsnnros e'l

Figura 2.3 Evolución de un sistema de eventos discretos

Observaciones:

• Para los CV/)S, el espacio de estados X es un conjunto de números reales R, y X(t) puede
tomar cualquier valor de este conjunto. La función X(t) es la solución de una ecuación
diferencial de la forma:
X(I) = f(x(I),u(t).I): donde utt} es la entrada. (Ec.2.3)

• Para los DES, el espacio de estados es un conjunto discreto X = {51, 52, S3, S4, Ss, S6}. La
evolución del sistema (camino, traza) o en inglés (path), puede ir de un estado a otro cuando
ocurre un evento.

- 27
• En algunos casos se encuentran sistemas con todas las características de los CVDS,
excepto por algunos eventos discretos que pueden ocasíonar saltos en el camino del sistema.
Estos eventos corresponden a un cambio en el modo de operación (ecuaciones de estados) a
otro. Estos sistemas se conocen como Siseemus tlf~.

• Algunas veces es conveniente representar el camino de los DES como diagramas de

tiempo con eventos representados por flechas en el tiempo de su ocurrencia y los estados se
muestran entre eventos.

~,
e, e2 ~
e] c! e,

S5 S. S S, S S.
..
Figura 2.4 EvoJudón de un sistema de eventos discretos

• En lugar de graficar el camino del sistema, resulta conveniente en algunos casos

representar la secuencia de eventos en el tiempo como:

(Ee. 2.4)

Lo cual contiene la misma información de la gráfica anterior.

El primer evento el ocurre en el instante l = eJ, el segundo evento ez ocurre en el instante t = tJ

Yasí sucesivamente.
Cuando se utiliza esta notación, está Implícito que el estado inicial del sistema es conocido y el
sistema es deterministico en el sentido de que el próximo estado, luego de la ocurrencia de un
evento, es único [CASSANDRAS-08].[CURY-Ol1.[HRÚZ-07].

NOTA: No se debe confundir entre Sistemas de Eventos Discretos con Sistemas

Discretos en el Tiempo.

2.2 Características de los Sistemas de Eventos Discretos

Las caracrerístícas de los Sistemas de Eventos Discretos (DES) son las siguientes:

-
-28
 Percepción de las ocurrencias del mundo exterior a través de la recepción de
estímulos, denominados eventos.
Evolución del sistema medlante la ocurrencia de eventos, bien internos o
externos.

2.3 Propiedades

(un los Sistemas de Eventos Discretos se pueden representar las siguientes

propiedades: sincronización. de eventos, concurrencia, paralelismo, exclusión mutua,
conflictos, alcanzabilidad, planificación de eventos, caminos cerrados. vivacidad de sistemas
[HRÚZ-07].

2.4 Herramientas de Modelado de Sistemas de Eventos Discretos

Pueden ser divididas en tres grupos lCASSANDRAS-08J,rHRÚZ·07J:

2.4.1 Herramientas gráficas: se encuentran los autómatas de estado finito o diagramas de

estado-transición, diagramas de flujo reactivos, gráficos de estado, Redes de Petri, Grafcet.
diagramas de escalera.

2.4.2 Herramientas algebraicas: álgebra Booleana. expresiones algebraicas basadas en los

respectivos espacios de estado, lógica temporal y álgebra Max-plus.

2.4.3 Herramientas basadas en lenguajes: modelos de lenguajes formales, programación

de lenguajes en tiempo real.

-29
-