Teora de Modelos y Simulacin

Enrique Eduardo Tarifa Facultad de Ingeniera - Universidad Nacional de Jujuy

Sistemas Discretos Determinsticos

Introduccin
En este captulo se estudiarn algunos modelos aplicables para sistemas discretos determinsticos. Por ser sistemas discretos, estos sistemas cambian su estado en un conjunto finito de puntos temporales; instantes en los cuales un evento ocurre. Por ser determinsticos, para una dada entrada y estado, el sistema siempre responde igual.

Mquinas de estados finitos

Este modelo se utiliza cuando la cantidad de estados posibles que puede asumir el sistema es finita. Una mquina de estados finitos o mquina secuencialmente completa M = <A, S, Z, f, g> o M = <A, S, Z, q 0, f, g> consta de: Un conjunto finito A de smbolos de entrada. Un conjunto finito S de estados internos. Un conjunto finito Z de smbolos de salida. Una funcin de prximo estado f : S x A S. Una funcin de salida g: S x A Z. Opcionalmente, un estado inicial q0. La funcin f permite determinar el nuevo estado qk que la mquina asumir cuando estando en el estado q i reciba la entrada aj; esto es: f (qi , a j ) = q k (1) La funcin g permite determinar la salida zr que la mquina producir cuando estando en el estado qi reciba la entrada aj; esto es: g (qi , a j ) = zr (2) Otra forma de representar una mquina de estados finitos es a travs un dgrafo rotulado denominado diagrama de estado. En el mismo, los nodos representan a los estados, los rtulos en los orgenes de los arcos representan a las entradas, los arcos representan a la funcin f, y los rtulos de los arcos representan a la funcin g. Por ejemplo, la Figura 1 es el diagrama de estado de una mquina cuyos conjuntos son A = {a, b}, S = {q0, q 1, q 2}, y Z = {x, y, z} y estado inicial q0 (indicado por el arco que no tiene nodo de origen). Una representacin alternativa es la tabla de estado. Es una tabla de doble entrada, en las filas estn los estados mientras que en las columnas estn las entradas. En la celda (i, j) se encuentran el nuevo estado y la salida de la mquina cuando estando en el estado i se aplica la entrada j. El estado inicial se indica por separado o haciendo una marca en la tabla.

Teora de Modelos y Simulacin. Sistemas Discretos Determinsticos.

z a b y z b a q2 x b

q0

q1 a

y x

Figura 1: Diagrama de estado.

Tabla 1: Tabla de estado.

a q0 q1 q2 q1,x q2,x q0,z

b q 2,y q 1,z q 1,y

Cadenas o cintas de entrada y de salida

Si la mquina M se alimenta con una cadena de entrada U = u1 u2 ... u n; entonces, se originan las cadenas de estado y de salida X = x0 x1 ... xn e Y = y1 y2 ... yn. Esto es, por definicin, una simulacin. Formalmente, el estado inicial x0 y la cadena de entrada U, determinan las cadenas X e Y de la siguiente manera: f ( xi 1 , ui ) = xi (3) g ( xi 1 , u i ) = yi (4)

Para la mquina de la seccin anterior, si se aplica la cadena de entrada U = abaab; entonces, se obtendrn la cadena de estado X = q 0q 1q 1q2q0q2 y la de salida Y = xzxzy. La Figura 2 muestra el proceso en forma grfica. q0 a,x q1 b,z q1 a,x q2 a,z q0 b,y q2

Figura 2: Cadenas o cintas de entrada y de salida.

Reproductor multimedia
A modo de ejemplo, se presenta cmo la botonera de un reproductor multimedia puede ser modelado con una mquina de estados finitos. Las posibles entradas, fijadas por la botonera, son: Play: Reproduce el archivo. Pause: Suspende la reproduccin. Stop: Detiene la reproduccin.
Teora de Modelos y Simulacin. Sistemas Discretos Determinsticos.

Existe una entrada adicional que es producida por el sistema operativo cuando se completa la reproduccin del archivo, sta es: End: Finaliza la reproduccin y rebobina. Los estados posibles son: Waiting0: Detenido, y en el principio del tema. Waiting: Detenido en alguna posicin del tema. Playing: Reproduciendo. Los smbolos de salida son: PlayDown: Coloca el botn Play como presionado, y el resto de los botones como no presionados. PauseDown: Coloca el botn Pause como presionado, y el resto de los botones como no presionados. StopDown: Coloca el botn Stop como presionado, y el resto de los botones como no presionados. Waiting 0
Play PlayDown StopDown Stop or End

Playing
Pause | PauseDown PlayDown Play

Waiting
Figura 3: Reproductor multimedia.

Autmatas finitos
Un autmata M = <A, S, T, q 0, f> consta de: Un conjunto finito A de smbolos de entrada. Un conjunto finito S de estados internos. Un subconjunto T de S cuyos elementos se llaman estados de aceptacin. Un estado inicial q 0 en S. Una funcin de estado prximo f: S x A S. Al ser un caso especial de las mquinas de estados finitos, los autmatas tambin pueden representarse con un diagrama de estado y una tabla de estado. Por ejemplo, el siguiente autmata est representado en la Figura 4 (los crculos dobles indican los estados aceptados) y la Tabla 2: A = {a,b} S = {q0, q 1, q 2} T = {q0, q 1} Estado inicial q0
Teora de Modelos y Simulacin. Sistemas Discretos Determinsticos.

a q0

b q1 a

a q2 b

Figura 4: Diagrama de estado.

Tabla 2: Tabla de estado.

a q0 q1 q2 q0 q0 q2

b q1 q2 q2

Dada U = u 1 u 2 ... un y un estado inicial x0, la cadena de estado X = x0 x1 ... xn se determina de la siguiente forma: f ( xi 1 , ui ) = xi (5) Se dice que M reconoce o acepta la cadena U si el estado final xn es un estado de aceptacin (es decir que pertenece a T). De acuerdo a esto, el autmata anterior no reconocer una cadena con dos b sucesivas. Este comportamiento se puede aprovechar cuando es necesario decidir si una secuencia de acciones o hechos es vlida o no, por ejemplo en la validacin de: estructura de ecuaciones, nombres de archivos, nombre de variables, procedimientos de operacin de una mquina, etc. La Figura 5 muestra un autmata que valida estrictamente la estructura de un polinomio P(x) del tipo: P( x) = ai xb (6)
i

no else else a q0 q1 * q2 +
Figura 5: Validacin de un polinomio. Teora de Modelos y Simulacin. Sistemas Discretos Determinsticos.

else else x q3 else ^ q4 else b yes

Redes de Petri
Una red de Petri M = <P, T, A, , , > consta de: Un conjunto de lugares P. Un conjunto de transiciones T. Un conjunto de arcos A. La propiedad multiplicidad de un arco (nmeros enteros positivos). La propiedad marcacin de un lugar . Opcionalmente, una propiedad que indica la duracin de la transicin o cada cunto se ejecuta +. Una transicin se ejecutar slo si la propiedad as lo indica y si los nodos que la alimentan tienen la cantidad suficiente de marcadores para satisfacer la multiplicidad de los arcos involucrados. Si la transicin se ejecuta, se deben actualizar los marcadores de los nodos fuentes y destinos de acuerdo a la multiplicidad de los arcos. Para ello, se resta a los marcadores de los nodos fuentes la multiplicidad de los arcos que alimentan a a transicin, y l se suma a los marcadores de los nodos destinos la multiplicidad de los arcos originados en la transicin. La Figura 7 muestra el estado de la red de la Figura 6 despus de ejecutar la transicin t2. En la representacin grfica los crculos representan a los lugares, y los rectngulos representan a las transiciones. p1 2 2 3 t2 6 3 p2
Figura 6: Antes de ejecutar t2.

4 1 t1

p1 0 2

4 1 t1

3 t2 9 3 p2
Figura 7: Despus de ejecutar t2. Teora de Modelos y Simulacin. Sistemas Discretos Determinsticos.

Una aplicacin de este modelo se da en los procesos productivos. En esta interpretacin, las transiciones representan a los procesos o tareas que se realizan, la multiplicidad indica la cantidad de insumos consumidos desde los nodos fuentes y de los productos enviados hacia los nodos destinos. Los marcadores de cada nodo o lugar representan el stock de insumos o productos. La Figura 8 muestra la red de Petri de una lnea de embal je de botellas. La tarea a Llenado de cajones se ejecuta cada 10 unidades de tiempo y consume 6 botellas y 1 cajn vaco para producir un cajn lleno. La tarea Llenado de contenedores se ejecuta cada 1000 unidades de tiempo y consume 100 cajones llenos y un contenedor vaco para producir un contenedor lleno.
Botellas 2000 Llenado de cajones 6 1 10 Cajones vacos 1 200 Contenedores vacos 1 10 Figura 8: Red de Petri de una lnea de embalaje. 1000 500 100 1 5 Cajones llenos Llenado de contenedores Contenedores llenos

Teora de Modelos y Simulacin. Sistemas Discretos Determinsticos.