Fundamentos

En ésta introducción usted comprenderá ideas generales acerca de:

• ¿Qué son los sistemas de eventos discretos (SED)?
• ¿En qué se diferencian los sistemas conducidos por el tiempo de los sistemas
conducidos por eventos?
• Fundamentos del modelado de sistemas de eventos discretos.
• ¿Qué son los autómatas y las redes de Petri?.

.– p.1/20
Motivación
• Muchas de las variables en las que estamos interesados son discretas. Ejemplo:
“¿Cuántos productos . . . ?”.
• Algunos sistemas complejos no son (primariamente / únicamente) continuos.
• Sistemas computarizados. Coordinación de programas.
• Redes de comunicaciones. Protocolos.
• Procesos de negocios ("work flow"). Orden y sincronización de las tareas a
realizar para el logro de una actividad de trabajo.
• Sistemas de transporte. Control de trenes, aviones.
• Software. Diseño y validación de algoritmos.
• Procesos industriales. Sistemas secuenciales.
• En su lugar, la evolución de estos sistemas está determinada por eventos discretos.

.– p.2/20
 Un ejemplo introductorio

ement” this functionality.

• Una máquina de bebidas dispensa
Coca Cola por valor de 900 pesos la
lata.
• Acepta solo monedas de 200 y de
500 pesos.
• Rechaza las monedas si no da el
valor exacto.
• Se pide "implementar"esta funciona-
lidad.

.– p.3/20
Usando un lenguaje de programación
Así se vería en Java:
Venta Coca Cola() {
int total = 0, moneda;
while (total!=900){
recibir(moneda);
if ((moneda == 200 && total == 800)
||(moneda == 500 && total >= 500))
rechazar(moneda);
else
total += moneda;
}
return nueva lata();
}

.– p.4/20
Desventajas de esa opción
• Las máquinas expendedoras existen desde antes de los computadores, debe haber
un formalismo más simple.
• El uso de enteros en programación es exagerado (232 posibles valores).
• No es necesario saber sumar enteros para modelar la máquina expendedora.
• La gramática de programación complica la comprensión de la esencia del
problema.

.– p.5/20
Modelando la lógica del problema
Q DQ

D D D D
0 200 400 600 800

Q Q Q
Q
D D
500 700 900

• Solo se necesitan dos tipos de monedas, ”D” y ”Q”.

Eventos / Símbolos (letras en el alfabeto).
• Solo se necesitan 8 posibles cantidades totales.
Estados / Nodos / Vértices.
• Mucho más claro y estético.
.– p.6/20
Clasificación de Sistemas
Sistemas

Estáticos Dinámicos

Invariantes en el tiempo Variantes en el tiempo

Lineal No lineal SISTEMAS EVENTOS

DISCRETOS (SEDS)

Estado Continuo Estado discreto

Conducido por tiempo Conducido por eventos

Determinı́stico Estocástico

Tiempo Continuo Tiempo Discreto .– p.7/20

Sistemas a Eventos Discretos
• Identificaremos el espacio de estados de un sistema mediante un conjunto de
estados denotado por X.
• Cuando el espacio de estados de un sistema se describe naturalmente por un
conjunto discreto tal como X = {0, 200, . . .}, y las transiciones de los estados se
observan solo en puntos discretos en el tiempo, se asocian esas transiciones de
estado con eventos y se habla de un sistema a eventos discretos.
• Un evento debe ser pensado como algo que ocurre instantáneamente y provoca
transiciones desde un valor del estado a otro. Puede ocurrir de formas diversas:
• Por una acción específica que tiene lugar (Ej: alguien que presiona un botón).
• Por una ocurrencia espontánea dictada por la naturaleza (Ej: un computador
que se bloquea por cualquier razón demasiado compleja de entender).
• Como resultado de varias condiciones que se cumplen de repente (Ej: el
sobrepaso del nivel de un tanque por un nivel peligroso).

.– p.8/20
Sistemas a Eventos Discretos
• Usaremos el símbolo e para denotar un evento.
• Cuando consideremos sistemas afectados por diferentes tipos de eventos,
definiremos un conjunto de ventos cuyos elementos son todos esos eventos y lo
denotaremos por E (conjunto discreto).

Ejemplo. Sistema de una bodega

• Se desea modelar el inventario de esta bodega, esto es, cuantos productos están
presentes en un tiempo determinado.

Productos
que entran x(t)
u1(t) Productos
que se despachan
u2(t)

.– p.9/20
Ejemplo. Sistema de una bodega . . .
Una trayectoria típica de este sistema simple es como en la figura.

x(t)

4
3
2
1

t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t

P P P C P P C C C C P P

Hay dos eventos que afectan el estado: “ Llegada de producto” que podemos denotar por
P , y “Llegada del camión” que podemos denotar por C. Definimos el conjunto de eventos
E = {P, C}.

.– p.10/20
¿Conducidos por tiempo o por eventos?
• En sistemas de estado continuo, las variables de estado continuo cambian
continuamente con el tiempo. Tales sistemas se denominan conducidos por el
tiempo, y en este caso la variable tiempo (t en tiempo continuo o k en tiempo
discreto) es una variable independiente natural de todas las variables.
• En sistemas de estado discreto se ve que los estados cambian solo en ciertos
puntos en el tiempo a través de transiciones instantáneas. Con cada transición
instantánea podemos asociar un evento.
• Hasta ahora no se ha considerado el mecanismo de temporización de los eventos.
Hay dos posibilidades:
1. En cada peródo de reloj, se selecciona un evento e del conjunto E. Si no
tiene lugar un evento, podemos pensar en un evento nulo como miembro de
E, cuya propiedad es el no cambio de estado.
2. En varios instantes de tiempo, no necesariamente conocidos de antemano y
no necesariamente que coincidan con períodos de reloj, algún evento e
“anuncia” que está ocurriendo.

.– p.11/20
¿Conducidos por tiempo o por eventos?
• En el primer caso, las transiciones están sincronizadas por el reloj: el reloj por sí
solo es responsable de cualquier transición de estado. Hablamos de sistemas de
estado discreto conducidos por tiempo
• En el segundo, cada evento e ∈ E define un proceso distinto por el cual se
determinan los instantes cuando ocurre e. Las transiciones de estado son el
resultado de combinar esos procesos de eventos asíncronos y concurrentes. Aún,
esos procesos no necesariamente son independientes entre sí. Hablamos de
sistemas de estado discreto conducidos por eventos.

.– p.12/20
Propiedades de los SED
Los sistemas dinámicos de eventos discretos (SEDD) o más ampliamente conocidos
como sistemas de eventos discretos (SED), satisfacen las siguientes dos propiedades:
• El espacio de estado es un conjunto discreto.
• El mecanismo de transición de estado es conducido por eventos.

Definición: Un sistema de eventos discretos (SED) es un sistema de estado discreto, con-

ducido por eventos, esto es, la evolución del estado depende totalmente de la ocurrencia
de eventos discretos asíncronos en el tiempo.

Algunos ejemplos simples:

• Estado de una máquina: {ON,OFF} o {OCUPADA, OCIOSA, FINALIZADO}.
• Un computador ejecutando un programa: {ESPERANDO ENTRADA,
EJECUTANDO, FINALIZADO}.
• Cualquier tipo de inventario: {0,1,2, . . . }.
• Secuencias de producción.

.– p.13/20
Diferencias con CVDS
Hay dos características fundamentales que diferencian un sistema dinámico de variable
continua (CVDS) de un SED. Considerando las trayectorias en los dos sistemas en la
figura,
x(t)

X= R • X es el conjunto de números reales

R; x(t) es la solución de la e.d.
t ẋ(t) = f (x(t), u(t), t).
s6 • X = {s1 , s2 , s3 , s4 , s5 , s6 , }. Hasta
s5
s4 ahora, no hay mecanismo para deter-
X= {s 1 ,s 2 ,s 3 ,s 4 ,s 5 ,s 6 }
s3 minar en qué tiempo ocurre un even-
s2
s1
to.
t1 t2 t3 t4 t5 t6 t7 t

e1 e2 e3 e4 e5 e6 e7 e
.– p.14/20
Sistemas Híbridos
• En algunos casos, se pueden encontrar sistemas con todas las características de un
CVDS, excepto por algunos eventos discretos que ocasionalmente provocan saltos
de las trayectorias (Ex: un control de nivel en un tanque con un supervisor que en
caso de sobrepaso por un nivel crítico suprime el flujo de entrada).
• Tales sistemas reciben el nombre de sistemas híbridos.

• No debe confundirse un sistema de eventos discretos con un sistema de tiempo

discreto.
• Los sistemas de tiempo discreto pueden ser CVDS y SED.
• En otras palabras, un SED puede modelarse en tiempo continuo o discreto, así
como también puede hacerse en un CVDS.

.– p.15/20
Determinístico -Vs- Estocástico
La secuencia de eventos temporizados puede resumirse en la notación,

(e1 , t1 ), (e2 , t2 ), (e3 , t3 ), (e4 , t4 ), (e5 , t5 ), (e6 , t6 ), (e7 , t7 )

• En esta notación se asume que el próximo estado posterior a la ocurrencia de un

evento, es único. Esto define un SED determinístico.
• Si hay información estadística disponible acerca del tiempo entre ocurrencias
sucesivas de cada evento, se pueden asociar funciones de distribución de
probabilidad del “tiempo de vida” de cada evento. En este caso hablamos de un
SED estocástico.

.– p.16/20
Lenguaje, Alfabeto y Palabras
• Si se considera el conjunto de todas las secuencias de eventos temporizados que
un sistema pueda ejecutar, este conjunto recibe el nobre de lenguaje temporizado
del sistema.
• Se puede pensar del conjunto de eventos E como un alfabeto, donde secuencias
finitas de eventos son las palabras del lenguaje.
• Hablamos de un lenguaje temporizado estocástico si se dispone del lenguaje
temporizado junto con las funciones de distribución de probabilidad asociadas a
los eventos.
• Si a un lenguaje temporizado le quitamos la información del tiempo (no interesa el
tiempo en el que ocurren los eventos), se obtiene un lenguaje no temporizado, o
simplemente lenguaje.
e1 , e 2 , e 3 , e 4 , e 5 , e 6 , e 7

.– p.17/20
Niveles de abstracción en el estudio de SED
• Los SED pueden modelarse en tres posibles niveles de abstración: no
temporizados o lógicos, temporizados o estocásticos, según el tipo de lenguaje
utilizado para ese modelado.
• La elección del nivel adecuado de abstracción depende claramente de los objetivos
del análisis.
• Si lo que importa es solo el orden de los eventos para satisfacer una
especificación, o saber si un estado particular es alcanzable o no, basta con
un lenguaje lógico.
• Si hay preguntas tales como “¿Cuanto tiempo gasta un sistema en un estado
particular?”, “¿Se puede terminar esta secuencia de eventos en un tiempo
determinado?”, o “¿Qué tan rápido se alcanza un estado determinado?”; en
tales casos es necesario usar un lenguaje temporizado.

.– p.18/20
Formalismos de modelado de SED
• El enfoque basado en lenguajes para el modelado de SED es atractivo para discutir
propiedades teóricas de los SED.
• No obstante, para abordar problemas de verificación, síntesis de controladores o
propiedades de desempeño; además es necesario establecer una forma conveniente
de representar los tres tipos de lenguajes.
• Ya que no es práctico listar todos los posibles caminos de evolución de un SED, se
requieren formalismos de modelado de SED que permitan representar un lenguaje
y resalten aquella información estructural acerca del comportamiento del sistema
útil para análisis y diseño de controladores.
• Los formalismos pueden ser no temporizados, temporizados o estocásticos; según
el nivel de abstracción de interés.
• En este curso se estudiarán dos tipos de formalismos: autómatas y redes de Petri.

.– p.19/20
Formalismos de modelado de SED
• Los formalismos de autómatas y redes de Petri tienen en común el hecho de que
representan lenguajes usando una estructura de transición de estados (cuáles son
los posibles eventos en cada estado del sistema).
• Difieren en la forma como se representa la información de estado.
• Ambos formalismos son adecuados para operaciones de composición, las que
permiten construir el modelo de un SED desde los modelos SED de los
componentes del sistema.
• Esta introducción de SED ha intentado resaltar las principales características de
estos sistemas. En los temas subsiguientes se construirá sobre la base de los
conceptos de espacio de estados discreto, denotado por X, y el conjunto de
eventos, denotado por E, para desarrollar modelos y técnicas formales para
análisis.

.– p.20/20