Redes de Petri

Historia: Las redes de Petri representan una alternativa para modelar sistemas, sus caractersticas hacen que, para algunos problemas las redes de Petri funcionen de una manera natural. Las PN como ahora conoceremos a las redes de Petri (Petri Net) fueron inventadas por el alemn Karl Adam Petri en 1962. En su tesis doctoral kommunikation mit automaten (Comunicacin con autmatas), establece los fundamentos para el desarrollo terico de los conceptos bsicos de las PN. Las PN son consideradas una herramienta para el estudio de los sistemas. Con su ayuda podemos modelar el comportamiento y la estructura de un sistema, y llevar el modelo a condiciones lmite, que en un sistema real son difciles de lograr o muy costosas. La teora de PN ha llegado a ser reconocida como una metodologa establecida en la literatura de la robtica para modelar los sistemas de manufactura flexibles. Comparada con otros modelos de comportamiento dinmico grficos, como los diagramas de las mquinas de estados finitos, las PN ofrecen una forma de expresar procesos que requieren sincrona. Y quizs lo ms importante es que las PN pueden ser analizadas de manera formal y obtener informacin del comportamiento dinmico del sistema modelado. Para modelar un sistema se usan representaciones matemticas logrando una abstraccin del sistema, esto es logrado con las PN, que adems pueden ser estudiadas como autmatas e investigar sus propiedades matemticas. Definicion: Una red de Petri es un grafo dirigido bipartito, con un estado inicial, llamado marcacin inicial. Los dos componentes principales de la red de Petri son los sitios (tambin conocidos como estados) y las transiciones. Grficamente, los sitios son dibujados como crculos y las transiciones como barras o rectngulos. Las aristas del grafo son conocidas como arcos. Estos tienen un

peso especfico, el cual es indicado por un nmero entero positivo, y van de sitio a transicin y viceversa. Por simplicidad, el peso de los arcos no se indica cuando ste es igual a 1. Un arco que est etiquetado con k puede ser interpretado como k arcos paralelos. El estado del sistema que la red est modelando es representado con la asignacin de enteros no-negativos a los sitios. Esta asignacin es conocida como una marcacin, la cual es representada grficamente mediante unos pequeos crculos negros dentro de un sitio p, llamados tokens . Si el nmero de tokens es demasiado grande, los k tokens son representados con un nmero no-negativo dentro del correspondiente sitio. Tpicamente, los estados representan algn tipo de condicin en el sistema, y una transicin representa un evento. Un sitio de entrada (salida) a una transicin representan las pre- (post-) condiciones. Los tokens pueden tener muchas interpretaciones. Por ejemplo, cuando un sitio est marcado con un token, este puede representar que la correspondiente condicin es verdadera. En otros casos, k tokens pueden representar k recursos, por ejemplo, el nmero de clicks del mouse realizados. Debido a que las redes de Petri pueden modelar muchos tipos de sistemas, lo que los sitios, transiciones y tokens representen vara enormemente. Una red de Petri es una tupla de cinco elementos, PN = (P,T,F,W,M0) donde: 1..P=p1,p2,,pm es un conjunto finito de sitios 2..T = t1,t2,,tn es un conjunto finito de transiciones

3..

es un conjunto de arcos.

4..

es una funcin de peso

5.

es la marcacin inicial

6..

Es conveniente utilizar la siguiente notacin: Para una transicin t, los sitios de entrada y los sitios de salida sern denotados como t , respectivamente. y

De manera formal, una marcacin M es definida como M : P

Tambin es conveniente, en algunos casos, el denotar una marcacin M de m sitios como un vector-m donde el i-simo componente es denotado como M(pi), por ejemplo M = <M(p1),M(pm)>. Una transicin t est habilitada con una marcacin M si cada sitio de entrada p est marcado con al menos W(p,t) tokens. Una transicin puede o no ser disparada al habilitrsele. Cuando ms de una transicin es habilitada, alguna de ellas es seleccionada de manera no-determnistica dependiendo del modelo empleado. Conforme las transiciones son disparadas, el nmero total de tokens distribuidos a lo largo de la red puede variar, esto es, la conservacin de los tokens no siempre sucede. Ejemplo: Se tiene una sola lnea para atender a 100 clientes. Los tiempos de llegada de los clientes sern valores sucesivos de la variable aleatoria ta, los tiempos de servicio estn dados por la variable aleatoria ts, y N es el nmero de servidores. Este modelo en su estado inicial tiene la cola vaca y todos los servidores en estado de espera. La red de Petri para este escenario se muestra en la figura 2.7. Figura 2.7: Ejemplo de una red de Petri

Los estados estn etiquetados con letras maysculas y las transiciones con minsculas. Las etiquetas de los sitios tambin sern usados como las variables de cuyos valores son los tokens. Las aristas tienen etiquetas que podran representar las funciones de transicin, las cuales especifican el nmero de tokens eliminados o agregados cuando una transicin es activada. El estado A incialmente contiene la llegada de 100 clientes; el sitio B evita que los clientes entren ms de una vez; el sitio Q es la fila que realizan los clientes cuando tienen que esperar a que se les atienda. El estado S es donde los servidores ociosos esperan la oportunidad para trabajar, y el sitio E cuenta el nmero de clientes que abandonan el sistema. El estado inicial implica que los sitios tengan los siguientes valores: A = 100 B=1 Q=0 S=N E=0 La transicin a sirve para modelar a los clientes que entran al sistema y la transicin b modela a los clientes cuando estn siendo atendidos. Disparo y habilitacin de las transiciones: Los cambios en los estados de un sistema son modelados mediante las reglas de activacin y habilitacin. Las reglas se describen de la siguiente manera: 1. Una transicin t est habilitada con una marcacin M si cada sitio de entrada p est marcado con al menos W(p,t) tokens. De una manera ms formal, si y slo si t est habilitado.

2. Una transicin puede o no ser disparada al habilitrsele. Cuando ms de una transicin es habilitada, alguna de esas transiciones es seleccionada de manera no-determnistica dependiendo del modelo empleado.

3. Un disparo de una transicin t resulta en W(p,t) tokens eliminados de cada sitio de entrada p de t y la adicin de W(t,p) tokens a cada sitio de salida p. Formalmente, el disparar una transicin habilitada t resulta en un cambio de la marcacin M a M, donde:

M(p) = M(p) + W(t,p) si p

yp

M(p) = M(p) - W(p,t) si p

yp

M(p) = M(p) para cualquier otro caso.

Si t no tiene estados de entrada (por ejemplo, si ), se trata de una transicin fuente y est habilitada por vacuidad. Si t no tiene sitios de salida (por ejemplo, si ), se dice que esta es una transicin sumergida . Una transicin sumergida ``consume tokens, pero no produce ningn token. Si una transicin t es habilitada bajo la marcacin M, y M es la marcacin resultante del disparo de t, se representa como .

Debe hacerse notar el hecho de que conforme las transiciones son disparadas, el nmero total de tokens distribuidos a lo largo de la red puede variar, esto es, la conservacin de los tokens no siempre sucede. Figura 2.8: Secuencia de disparo en una red de Petri

Ejemplo: La figura 2.8(a) es un ejemplo de una red de Petri con ambas transiciones habilitadas mediante la marcacin inicial M0 = < 1,2,0>. Cualquiera de las dos puede ser disparada. Es posible tener: o . Las figuras 2.8(b) y 2.8 muestran las marcaciones de M1 y M2, respectivamente. En M1 tanto t1 como t2 estn deshabilitadas. En M2, t2 est habilitada y, si t2 se vuelve a disparar, se tendr que . La figura 2.8(d) muestra a M3 marcada. En M3 ninguna transicin ha sido habilitada. Una transicin que nunca es habilitada se conoce como transicin muerta ([Dwyer et al., 1995]) . Es importante hacer notar el que la definicin de la red de Petri y sus reglas de disparo y habilitacin le permiten a un sitio estar marcado con un nmero ilimitado de tokens. Estas redes de Petri en particular, reciben el nombre de redes de capacidad infinita. Existen tambin las redes de capacidad finita, en donde la marcacin de cada sitio p tiene una cota superior K(p). As, una restriccin extra es includa para

la habilitacin de una transicin t : M(p) no puede excederse de K(p) para todo , si t fuera a ser disparada.

Figura 2.9: Arco inhibidor

Una extensin importante a las redes de petri es el arco inhibidor , el cual es indicado como un pequeo circulo en lugar de una flecha, al final del arco. En la figura 2.9(a) la transicin T1 est habilitada porque no existe ningun token en P1. En general, una transicin est habilitada si hay al menos un token en cada uno de sus arcos de entrada (normales) y ningun token en su arco inhibidor. En la figura 2.9(b) T1 est deshabilitada, debido a que hay un token en P1. Caso de estudio de las redes de Petri: Retomando el ejemplo del elevador visto en la seccin correspondiente a las redes de transicin de estados, se har a continuacin la especificacin utilizando redes de Petri. En esta especificacin cada piso p del edificio (el cual tiene m pisos) ser representado por un sitio Pp, , en la red de Petri; un elevador est representado por un token. Un token en Pp indica que un elevador est en el piso p. La primera condicin es: C1: Cada elevador tiene un grupo de botones, uno para cada piso. Los botones se iluminan al presionrseles y hacen que el elevador visite el piso correspondiente. La iluminacin se cancela cuando el piso es visitado por el elevador. Para incorporar esto en la especificacin es necesario la adicin de ms sitios. El botn del elevador para el piso p es representado en la red de Petri por el sitio

BEp,

. De una manera ms precisa, debido a que existen n

elevadores el sitio debe ser denotado como BEf,e, con , . Pero para hacer ms simple la notacin, el subndice e que representa al elevador ser suprimido. Un token en BEp indica que el botn del elevador para el piso p est iluminado. Debido a que el botn debe estar iluminado la primera vez que este sea presionado y que las subsecuentes ocasiones en que se presione ese botn sern ignoradas. Esto se muestra en la figura 2.10. Figura 2.10: Red de Petri para representar un botn del elevador

Primero, supngase que el botn BEp no est iluminado. No existe ningn token en el sitio, debido a la presencia del arco inhibidor, la trancisin BEp presionado est habilitada. La transicin es disparada, y un nuevo token es puesto en BEp (figura 2.11). Figura 2.11: Red de Petri para representar un botn del elevador, despus de haber presionado EBf

Ahora, no importa cuantas veces sea presionado el botn, la combinacin del arco inhibidor y el token probocan que la trancisin BEp presionado no puede ser habilitada. Por lo tanto, no es posible que exista ms de un token en el sitio BEp. Supongamos que el elevador va a viajar del piso g al piso p. Debido a que el elevador est en el piso g un token est en Pg, como se muestra en la figura 2.10. La transicin elevador en accin es habilitada y entonces es disparada.

Los tokens en BEp y Pg son consumidos, apagando de esta manera la luz en el botn BEp, y un nuevo token aparece en Ff, figura 2.12; el disparo de esta transicin lleva al elevador del piso g al piso p. Figura 2.12: Red de Petri para representar un botn del elevador, despus de haber disparado EBf

La segunda condicin del problema indica: C2: Cada piso, exceptuando al primer y ltimo piso, tienen dos botones, uno para solicitar un elevador ``hacia arriba y otro para pedir un elevador ``hacia abajo. Estos botones se iluminan al presionrseles. Dejan de estar iluminados cuando el elvador visita ese piso y se mueve en la direccin deseada. Los botones de piso son representados por los sitios BPpu y BPpd, los cuales representan los botonres para solicitar un elevador hacia arriba y un elevador hacia abajo, respectivamente. De manera ms precisa, el piso 1 tiene un botn BP1u, y el piso m tiene un botn BPmd, los pisos intermedios tienen dos botones, BPpu y BPpd, 1 < p < m. La figura 2.13 muestra el momento en que el elevador llega al piso p desde el piso g con uno o ambos botones iluminados. Si ambos botones estn iluminados, slo uno se apagar. Figura 2.13: Red de Petri para representar los botones de piso

La tercera condicin dice: C3: Cuando un elevador no tiene ninguna peticin de servicio, este debe permanecer con las puertas cerradas en el piso en que se encuentre en ese momento. Debido a que no existen peticiones de servicio del elevador, ninguna transicin elevador en accin es habilitada.