Redes de Petri

Teora de Redes de Petri
Autores:
Prog. Catalina Salvati Prog. Leandro Cofre Prog. Francisco Surez
Base terica del proyecto final de la carrera de Lic. en Sistemas Universidad FASTA Bariloche
Apunte de Redes de Petri
ndice
INTRODUCCIN......................................................................................................................1 CONTENIDO.............................................................................................................................2 DEFINICIONES.........................................................................................................................3 DEFINICIN FORMAL...........................................................................................................................3 REPRESENTACIN...............................................................................................................................4 REPRESENTACIN GRFICA...................................................................................................................4 REPRESENTACIN MATRICIAL................................................................................................................5 EJEMPLO 1.........................................................................................................................................5 MARCADO.........................................................................................................................................7 EVOLUCIN DE MARCADO.....................................................................................................................7 SUBCLASES DE REDES DE PETRI...........................................................................................................8 GRAFO DE ESTADOS.............................................................................................................................8 GRAFO MARCADO................................................................................................................................8 RED DE LIBRE ELECCIN.......................................................................................................................8 RED SIMPLE........................................................................................................................................8 ESTRUCTURAS BSICAS......................................................................................................9 SELECCIN.........................................................................................................................................9 ATRIBUCIN.......................................................................................................................................9 DISTRIBUCIN.....................................................................................................................................9 CONJUNCIN....................................................................................................................................10 EJECUCIN SECUENCIAL.....................................................................................................................10 SINCRONIZACIN...............................................................................................................................10 CONCURRENCIA................................................................................................................................10 CONFLICTOS.....................................................................................................................................11 PROPIEDADES.......................................................................................................................12 PROPIEDADES ESTRUCTURALES...........................................................................................................12 RDP PURA.......................................................................................................................................12 RED DE PETRI ACOTADA ESTRUCTURALMENTE......................................................................................12 RED DE PETRI ESTRUCTURALMENTE VIVA............................................................................................12 RED DE PETRI COMPLETAMENTE CONTROLABLE....................................................................................12 RED DE PETRI ESTRUCTURALMENTE CONSERVATIVA..............................................................................12 RED DE PETRI (PARCIALMENTE) REPETITIVA.........................................................................................12 RED DE PETRI (PARCIALMENTE) CONSISTENTE.......................................................................................12 PROPIEDADES DE COMPORTAMIENTO...................................................................................................13 VIVACIDAD......................................................................................................................................13 CICLICIDAD......................................................................................................................................14 ACOTAMIENTO..................................................................................................................................15 CONSERVATIVIDAD............................................................................................................................16 ALCANZABILIDAD..............................................................................................................................16 EXTENSIONES.......................................................................................................................17

RECURSOS COMPARTIDOS..................................................................................................................17 ARCOS INHIBIDORES: .......................................................................................................................17 VALIDACIN..........................................................................................................................18 MTODOS DE ANLISIS.....................................................................................................18 TCNICAS ENUMERATIVAS.................................................................................................................18 TCNICAS DE TRANSFORMACIN........................................................................................................19 TCNICAS ESTRUCTURALES...............................................................................................................20 TIPOS DE RED........................................................................................................................21 RDP CON PESO................................................................................................................................21 RDP CON TIEMPO............................................................................................................................21 RDP COLOREADAS............................................................................................................................21 RDP JERRQUICAS...........................................................................................................................22 ESTOCSTICAS (CONCEPTOS REDES PETRI.PDF).....................................................................................22 REDES DE PETRI ESTOCSTICAS GENERALIZADAS..................................................................................23 EJERCICIOS...........................................................................................................................24 EJERCICIO N 1:..............................................................................................................................24 EJERCICIO N 2:..............................................................................................................................24 EJERCICIO N 3:..............................................................................................................................25 CMO MODELARA LA SITUACIN DE QUE CUANDO NO HAY MS BEBIDAS LA MQUINA RETORNE LA MONEDA?........................................................................................................................................25 EJERCICIO N 4:..............................................................................................................................25 EJERCICIO N 5:..............................................................................................................................25 EJERCICIO N 6:..............................................................................................................................26 EJERCICIO 7....................................................................................................................................26 EJERCICIO 8....................................................................................................................................26 RESPUESTAS A LOS EJERCICIOS....................................................................................27 EJERCICIO 1....................................................................................................................................27 EJERCICIO 2....................................................................................................................................27 EJERCICIO 3....................................................................................................................................28 EJERCICIO 4....................................................................................................................................28 EJERCICIO 5....................................................................................................................................29 EJERCICIO 6....................................................................................................................................29 EJERCICIO 7....................................................................................................................................29 EJERCICIO 8....................................................................................................................................30 GLOSARIO..............................................................................................................................31 CONJUNTOS.....................................................................................................................................31 LGICA...........................................................................................................................................31 NDICE DE IMGENES........................................................................................................32 II

BIBLIOGRAFA......................................................................................................................33
III
Introduccin
Las Redes de Petri (RdP) son una teora matemtica postulada por el alemn Carl Adam Petri que proporciona una herramienta grfica y matemtica de modelado para la descripcin formal de sistemas cuya dinmica se caracteriza por la concurrencia, sincronizacin, exclusin mutua y conflictos, las cuales son caractersticas tpicas de sistemas distribuidos. La principal aplicacin de las redes de Petri es el modelado y el anlisis de sistemas con componentes concurrentes que interactan. Un modelo es una representacin de las caractersticas ms importantes de un sistema de estudio. Manipulando esta representacin, se pueden obtener nuevos conocimientos del sistema modelado sin ningn coste o peligro para el sistema real. Sin embargo, el modelado por s solo sirve de poco, es necesario analizar el sistema modelado. El sistema se modela primero como una RdP y despus, este modelo se analiza. Este anlisis nos lleva a una mejor comprensin del comportamiento del sistema modelado. Para realizar el anlisis de las propiedades de una red de Petri se han desarrollado diferentes tcnicas, que permiten la verificacin de las propiedades que el sistema construido posea. Las RdP se han utilizado en distintas reas de aplicacin como en qumica, redes informticas, Inteligencia artificial, trnsito, etc.
Respuestas a los ejercicios
Contenido
En este documento, introduciremos los fundamentos de la teora de redes de Petri. En la primer parte daremos las definiciones bsicas de RdP y los modos de representacin. Luego daremos algunos ejemplos de estructuras bsicas que describen el modo de representar algunos casos comunes. Seguiremos con las propiedades, extensiones y mtodos de anlisis. Finalizando luego con una serie de ejercicios para resolver.
Definiciones
Una RdP est formada por lugares y transiciones, unidos alternativamente por arcos dirigidos. Un lugar puede o no contener marcas. El conjunto de marcas asociadas a cada uno de los lugares en un momento dado, constituye un marcado de la RdP. Para la descripcin funcional de sistemas concurrentes los marcados representan estados y las transiciones sucesos, que dependen del cumplimiento de determinadas condiciones.
Definicin formal
Podemos definir a una red de Petri como una 5-upla: RdP = (P, T, F, W, M0), donde: P = {p1, p2, pm} es un conjunto finito no vaco de lugares T = {t1, t2, , tn} es un conjunto finito no vaco de transiciones PT= F (P X T) U (T X P) es un conjunto de arcos dirigidos W: F{1,2,3,} es una funcin de pesos Mi: P{0,1,2,} es el marcado inicial de la red // define un nmero inicial de marcas por lugar
Representacin
Toda herramienta de modelado tiene una o mas formas de ser representada. En el caso de las RdP, podemos encontrar una representacin grfica y otra matricial.
Representacin grfica
A una RdP podemos asociarle un grafo dirigido con dos clases disjuntas de nodos, los lugares y las transiciones. Un crculo representa un lugar, una barra representa una transicin y un arco dirigido conecta lugares y transiciones. Algunos arcos van desde un lugar a una transicin y otros desde una transicin a un lugar. Un arco dirigido desde un lugar p a una transicin t define p como un lugar de entrada para t. Un lugar de salida se indica con un arco desde la transicin al lugar. Los arcos se etiquetan con sus pesos (enteros positivos). Si una de esas etiquetas se omite, significa que el arco tiene peso uno. Las marcas se representan como puntos negros en los lugares.
marca
lugar
transicin
p1
t1 arco
p2
Figura 1 Representacin grfica de una Rdp.
Los lugares que contienen marcas se consideran lugares activos.
p1
Figura 2 Lugar activo.
A las transiciones se les asocia eventos (funciones lgicas de las variables de entrada). Una transicin se dice que est sensibilizada cuando todos sus lugares origen estn marcados.
p1
p2
t1
Figura 3 Transicin sensibilizada.
Cuando ocurre un evento asociado a una transicin, se dice que la transicin est validada.
Figura 4 Transicin validada.
p1 t Respuestas a los1 ejercicios p2
Apunte de Redes de Petri Representacin matricial

Una transicin tiene un determinado nmero de lugares de entrada (o precondiciones) y de lugares de salida (o postcondiciones). Cada uno de estos se puede representar por una matriz binaria de dos dimensiones, donde las columnas representan las transiciones, las filas los lugares y las celdas la conexin entre ambas. Las matrices reciben los nombres de Matriz de incidencia previa y Matriz de incidencia posterior respectivamente. Podemos decir que una RdP N se encuentra definida matricialmente por medio de dos matrices. Sea n = |P| (nmero de lugares de P) y m = |T| (nmero de transiciones de T). Se denominan: Matriz de incidencia previa: C = [cij]nm en la que cij = Pre(pi, tj). Matriz de incidencia posterior: C+ = [c+ij]nm en la que c+ij = Post(ti, pj). Matriz de incidencia de N: C = C+ C.
Ejemplo 1
Dada la RdP R1 = (P, T, F, W, M0), donde: P = {p1, p2, p3, p4}, T = {t1, t2, t3 }, Mo=(5, 0, 0, 0)
t2
p4
p1
t1
p2
t3
p3
Figura 5 Red de Petri con cuatro lugares y tres transiciones.

Matriz de Incidencia previa y matriz de incidencia posterior:
1 0 1 0 0 1 0 0 0 1 0 0 1 0
C- = Pre(pi, tj) =
0 0
C+ = Post(pi, tj) =
1 0
Sea N una RdP, donde t T y p P. Se definen los siguientes conjuntos: Conjunto de lugares de entrada a t : t = {p P | Pre(p, t) > 0} Conjunto de lugares de salida de t : t = {p P | Post(t, p) > 0} Conjunto de transiciones de entrada a p : p = {t T | Post(t, p) > 0} Conjunto de transiciones de salida de p : p = {t T | Pre(p, t) > 0}
Marcado
Un marcado es una funcin que asigna a cada lugar un entero no negativo (marca), de forma que decimos que un lugar p est marcado con k marcas, si el marcado asigna al lugar p un entero k. Un marcado M se representa mediante un vector con tantos componentes como lugares tenga la red. La cantidad de marcas en el lugar p ser M(p). Una RdP marcada es un par (N, M) formado por una RdP N y un marcado M. El marcado de la RdP del ejemplo 1 :
5 0
M0 =
Evolucin de marcado
El marcado cambia al disparar las transiciones. Para disparar una transicin ha de estar validada y sensibilizada. Cuando una transicin se dispara desaparecen las marcas de los lugares origen y se aade una marca a cada uno de los lugares destino. Una transicin t T est sensibilizada (habilitada) para un marcado M dado, sii p t se verifica M(p) Pre(p, t). El grado de habilitacin de una transicin indica el mximo nmero que la transicin puede ser disparada concurrentemente. Regla de evolucin del marcado: Si t est habilitada para un marcado M entonces t puede dispararse. En la operacin se alcanza un nuevo marcado M0, y se denota por M[t] > M0, el cual resulta de quitar Pre(p, t) marcas de cada lugar p t y aadir Post(t, p) marcas a cada lugar p t. El cambio en el marcado esta dado por la ecuacin: M0(p) = M(p) Pre(p, t) + Post(t, p), p P Cada disparo de una transicin modifica la distribucin de las marcas, y por ello produce un nuevo marcado en la red. Siguiendo con el ejemplo 1, al disparar la transicin t1, obtenemos:
M0 5 0 Pre(p, t) 1 0 0 0 1 0 0 1 0 + Pos(t, p) 0 1 0 0 0 1 0 0 0 1 0 0 = Mf 4 1 0 0
0 0
0 0 0
t2
p4
p1
t1
p2
t3
p3
Figura 6 Evolucin del marcado de la red del ejemplo 1.
Subclases de Redes de Petri

Grafo de estados
Un grafo de estado (GE) o mquina de estados (ME) es una RdP que cumple: t T, |t| = |t| = 1
Grafo marcado
Un grafo marcado (GM) o grafo de sincronizacin es una RdP que cumple: p P, |p| = |p| = 1
Red de libre eleccin

Una RdP de libre eleccin (RLE) es una RdP que cumple: p P, si |p| > 1, entonces t p, |t| = 1
Red simple
Una RdP simple (RS) es una RdP que cumple: p1 p2 = p1 p2 o p1 p2 para toda p1, p2 P.
Estructuras bsicas
Seleccin
Selecciona el proceso a ejecutar
t1
p1 t2 t3
p2 Atribucin
p2
Figura 7 Estructura bsica. Seleccin.
Ejecucin independiente de un proceso por dos procesos distintos
t1
t2
p1
t3
Figura 8 Estructura bsica. Atribucin.
Distribucin
Ejecucin de procesos paralelos o concurrentes
Figura 9 Estructura bsica. Distribucin.
Apunte de Redes de Petri Conjuncin

Sincronizacin de procesos en paralelo
Figura 10
Estructura bsica. Conjuncin.
Ejecucin Secuencial
La transicin t2 puede ser disparada sea antes disparado t1.
p1
t1
Figura 11
p2
t2
p3
Estructura bsica. Ejecucin secuencial.
Sincronizacin
La transicin t1 estar habilitada para ser disparada todos los nodos de entrada de la transicin t1 poseen al menos una marca en cada uno de ellos. Esto ocurre principalmente en la electrnica. Ej: El en circuito AND las dos entradas producen una salida lgica.
p1 t1 p2
Figura 12
=>
p3
p1 t1 p2 p3
Estructura bsica. Sincronizacin.
Concurrencia
Las transiciones t2 y t3 son concurrentes. Con esta propiedad, las RdP es capaz de modelar sistemas de control distribuido con mltiples procesos ejecutndose concurrentemente.
p2 p1 t1 p4
Figura 13
t2
p3
t3
p5
Estructura bsica. Concurrencia.
10
Apunte de Redes de Petri Conflictos

Tanto la transicin t1 como t2 estn listas para ser disparadas, pero el disparo de alguna de ellas produce que la otra transicin quede inhabilitada para ser disparada.
p1 t1 p2 t2 p3
Figura 14 Estructura bsica. Conflictos.
p1
=>
p4
t1 p2 t2 p3 p4
11
Propiedades
En las RdP podemos encontrar propiedades estructurales, que dependen de la estructura topolgica de las RdP, independientes del marcado inicial y, las propiedades de comportamiento que s dependen del marcado inicial
Propiedades estructurales
RdP Pura
Una RdP N es una red pura si no existe ninguna transicin que tenga un lugar que sea al mismo tiempo de entrada y salida de la transicin: tj T , pi P, Pre(pi, tj) Post(tj , pi) = 0
Red de Petri Acotada Estructuralmente

Una red de Petri est acotada estructuralmente si est acotada para cualquier marcado inicial finito. Un lugar p en una red de Petri se dice no acotado estructuralmente si existe un marcado M y una secuencia de disparo desde M tal que p no est acotado.
Red de Petri Estructuralmente Viva

Una red de Petri est estructuralmente viva si existe algn marcado inicial para el que est viva.
Red de Petri Completamente Controlable

Una red de Petri se dice completamente controlable si cualquier marcado es alcanzable desde cualquier otro marcado.
Red de Petri Estructuralmente Conservativa

Una red de Petri es estructuralmente conservativa si, para cualquier marcado inicial M0 y un marcado alcanzable M R(M0), existe un vector x (n 1) tal que xi0, para cualquier i = 1,...,n, y xtM = xtM0.
Red de Petri (parcialmente) Repetitiva

Una red de Petri es (parcialmente) repetitiva si existe un marcado finito M 0 y una secuencia de disparo s tal que (alguna) toda transicin ocurre un nmero infinito de veces en .
Red de Petri (parcialmente) Consistente

Una red de Petri es (parcialmente) consistente si existe un marcado finito M0 y una secuencia de disparo s cclica (desde M0 a M0 tal que (alguna) toda transicin ocurre al menos una vez en .
12
Propiedades de comportamiento
Vivacidad
Una transicin t est viva para un marcado inicial dado M0, sii existe una secuencia de disparos a partir de un marcado M sucesor de M0 que comprenda a t : M M(R, M0) : M M0 tal que t . Una RdP marcada est viva para M0 sii todas sus transiciones son vivas para M0. Se puede decir que la propiedad de vivacidad significa la ausencia en el conjunto de alcanzabilidad de un marcado en el que la red se bloquee totalmente (deadlock), ya que, para que est viva, todas sus transiciones deben ser disparables desde cualquier marcado alcanzable. Se dice que una RdP marcada est parcialmente viva para M0 si, tomando como punto de partida cualquier marcado alcanzable a partir de M0, existe al menos una transicin disparable y otra transicin no viva. Toda RdP marcada parcialmente viva tiene la posibilidad de evolucin global, independientemente de que existan transiciones que no puedan ser disparadas. Ejemplo: Una red de Petri no viva.
p1 t1 p2 p3
t3
p4 t4 p5
t2
Figura 15 Ejemplo de una RdP no viva.
Para la secuencia de disparos t1, t2, t1, t2, no hay bloqueo. Si ahora se disparan las transiciones t1, t3, t4, ya no se puede disparar ninguna transicin ms, la red queda bloqueada. Podemos tener redes pseudo-vivas en las que existen algunas transiciones vivas y no se bloquea totalmente. Ejemplo: RdP Pseudoviva
13
p1 t1
p2 t2 p4
p3 t3 p5
t4
Figura 16 Ejemplo de una RdP pseudoviva.
Ciclicidad
Se dice que una RdP posee un comportamiento globalmente cclico para M0 si existe una secuencia de disparos que permite alcanzar el marcado inicial M0 a partir de cualquier marcado M alcanzable a partir de M0: M M(R, M0), tal que M M0. La ciclicidad o reversibilidad de una RdP marcada garantiza que no existen subconjuntos finales de estados (marcados). Un subconjunto final de estados (marcados) contiene estados (marcados) mutuamente alcanzables entre s y tales que el estado inicial (marcado inicial) no es alcanzable a partir de ninguno de ellos. Ejemplo de una red no reversible:
Figura 17 Ejemplo de una RdP no reversible.
p1 t1
p2
p3 t2 p4
t3
Respuestas a los ejercicios 14

Esta RdP es pseudoviva, adems no tiene la propiedad de reversibilidad ya que el marcado inicial no se puede obtener jams.
Acotamiento
El significado de esta propiedad es el de asegurar que el sistema que una red representa posee un nmero finito de estados (si suponemos que cada lugar de la red representa a una variable de estado del sistema y su marcado el valor de dicha variable). Luego la propiedad de acotamiento determina la finitud del nmero de estados del sistema representado por una RdP. Un lugar p es k-acotado para M0 sii existe un nmero entero k tal que M(p) k para cualquier marcado M M(R, M0). Se denomina cota del lugar p al menor entero k que verifica la desigualdad anterior. Una RdP marcada es k-acotada para M0 sii todos sus lugares son k-acotados para M0: p P y M M(R, M0), M (p) k. Merece una consideracin especial la 1-acotacin. Si una RdP es 1-acotada para M0, su marcado es binario (un lugar est o no est marcado) y se dir que la RdP es binaria para M0. Una red segura, es una RdP 1-acotada. Una RdP es estructuralmente acotada si es acotada para cualquier marcado inicial y finito. Se dice que la red est k-acotada si para todo marcado alcanzable tenemos que ningn lugar tiene un nmero de marcas mayor que k. Las redes 1-acotadas son conocidas como binarias. Si la red diseada generar ms marcas que las que su acotacin permite el modelado ser errneo. Ejemplo: Una red no acotada:
Figura 18 Ejemplo de una RdP no acotada.
p1 t1
p2 t2 p3 p4
t3 p5 t4
Respuestas a los ejercicios 15
Apunte de Redes de Petri Conservatividad

Las marcas de una red se pueden entender como recursos del sistema. Normalmente los recursos de un sistema ni se crean ni se destruyen. Cuando las marcas se conservan, tras el disparo de una secuencia de transiciones, se dice que la red es conservativa. Sea R = (P, T, Pre, Post, M0) se dice que es estrictamente conservativa sii M0 M(R, M0), iM0 (pi) = iM(pi), pi P. Esto es, se ha de mantener el nmero de marcas para cualquier marcado de la red. La definicin anterior implica que el nmero de entradas ha de coincidir con nmero de salidas, es decir: (|I(tj)|) = |O(tj)|), para cada transicin disparable.
Alcanzabilidad
La alcanzabilidad es una base fundamental para estudiar las propiedades dinmicas de cualquier sistema. al dispararse una transicin habilitada, esta cambiar la distribucin de las seales ( marcado). De esta forma, de una secuencia de disparos resultar una secuencia de marcados, luego un marcado Mn es alcanzable a partir de M0, si existe una secuencia de disparos que a partir de M0 nos lleve a Mn. Una secuencia de disparos la denotaremos por = t1, t2, ....., tn . en este caso Mn es alcanzable desde M0, sii t.q. M0 [i Mn. Ejemplo RdP y su grafo de alcanzabilidad
Figura 19
Ejemplo de una RdP con su grafo de alcanzabilidad.
16
Extensiones
Recursos compartidos
Las RdP permiten modelar sistemas donde un recurso es compartido por dos procesos de forma que el uso del recurso durante la ejecucin de un proceso impide que dicho recurso sea utilizado por el otro proceso. Un recurso compartido se modela mediante un lugar con una marca inicial y transiciones en conflicto. Ejemplo:
Figura 20
Extensiones. Recursos compartidos.
Arcos inhibidores:
Figura 21
Extensiones. Arcos inhibidores.
Estos tipos de arcos se relacionan con la transicin a ser inhibida y con el lugar que, de tener una marca, va a impedir el disparo de la transicin.
17
Validacin
La validacin consiste en comprobar que se cumplen las propiedades de:VIVACIDAD; LIMITACIN; REVERSIBILIDAD. Hay que considerar : M0 : marcado inicial. De este se desprende el comportamiento del sistema. [M0] : vector de marcados posibles a partir de un marcado inicial. (marcados alcanzables). Ejemplo:
Figura 22
Validacin de una RdP.
Mtodos de Anlisis
Las tcnicas para el anlisis de RdP (anlisis cualitativo de redes) se clasifican normalmente en tres grupos.
Tcnicas Enumerativas
En primer lugar se tienen las tcnicas enumerativas. Se basan en la generacin del grafo de alcanzabilidad para sistemas limitados o del grafo de cobertura para sistemas no limitados. Estas tcnicas se pueden aplicar en teora, pero en la prctica estn limitadas a sistemas pequeos debido a su elevada complejidad computacional. En este grafo los nodos corresponden al marcado alcanzable y los arcos corresponden al disparo de las transiciones. En la figura se muestra una red de Petri y su grafo de alcanzabilidad (Grafo de marcados).
Figura 23 Tcnica enumerativa de validacin.
18

Este grafo puede ser utilizado para mostrar que la red es segura, viva, reversible y que esta tiene dos componentes que se repiten t1, t2,t4 y t1, t3,t5. En una red no limitada, el nmero de seales en un lugar puede ser infinito. Un lugar que puede llegar a tener un nmero infinito de seales se representa por . El grafo resultante es llamado grafo de cobertura.
Tcnicas de Transformacin
En segundo lugar se tienen las tcnicas de transformacin. En este grupo de tcnicas el objetivo es reducir el tamao de los modelos mediante reglas de reduccin que preserven las propiedades que se quieren estudiar. En la figura puede observarse un conjunto sencillo de seis reglas de reduccin que preservan vivacidad y k-limitacin. Reglas de reduccin que presentan vivacidad y k-limitacin:
Figura 24
Tcnica de transformacin de validacin.
Con este conjunto de reglas es posible reducir la complejidad del clculo de la vivacidad y limitacin de un sistema.
Tcnicas Estructurales
En tercer lugar se tienen las tcnicas estructurales. En este grupo de tcnicas el objetivo es obtener la mxima informacin del modelo utilizando nicamente su estructura y marcado inicial. Respuestas a los ejercicios 19

Los mtodos de lgebra lineal son utilizados para determinar las propiedades de la red. La ecuacin de estado de una red de Petri se define como sigue: el marcado M k se define como un vector columna m 1. La jesima entrada de Mk denota el nmero de seales en el lugar j inmediatamente despus del kesimo disparo en la secuencia de disparos. El kesimo disparo o vector de control u k es un vector columna de n 1, con n1 ceros y una entrada 1 en la iesima posicin, indicando el disparo de la transicin i. Esto es, la iesima fila de la matriz de incidencia C denota el cambio de marcado como el resultado del disparo de la transicin i, luego la ecuacin de estado para la red de Petri se escribe como sigue: Mk = Mk1 + CT uk, k = 1, 2, 3, . El marcado de una red de Petri puede ser cambiado cada vez que una transicin se dispara. Si no ocurre un bloqueo, el nmero de disparos es ilimitado. Sin embargo, no todos los marcados pueden ser alcanzados y no todas las secuencias de disparos pueden ser llevadas a cabo. Las restricciones son dadas por los invariantes de la red. Un marcado invariante es obtenido si la suma de los pesos de el marcado de un subconjunto de lugares en una red es siempre constante. Los lugares contenidos en este subconjunto son llamados componentes conservativos y el vector que contiene los pesos es P-Invariante. Si el disparo de una cierta secuencia de transiciones resulta en el mismo marcado como cuando inicio, la secuencia es llamada componente repetitivo. El vector caracterstico de la secuencia de disparos es el T-Invariante.
20
Tipos de red
RdP con peso
Permite que multiples tokens puedan ser quitados/agregados cuando se dispara una transicin. Las aristas estn etiquetadas con el peso (nmero de tokens). Si no hay ningn valor se asume que es 1.
RdP con Tiempo

Las Redes de Petri no incluyen concepto alguno de tiempo, por ello, solamente es posible describir solamente la estructura lgica de los sistemas y no su evolucin temporal. La introduccin del tiempo en el modelo permite la descripcin de comportamientos dinmicos de los sistemas, considerando la evolucin de estados y la duracin de cada accin tomada por el sistema. Hay mltiples formas diferentes de introducir el concepto de tiempo. Una primera posibilidad consiste en asociar a cada transicin un nmero que indica, en alguna unidad temporal adecuada, el retardo entre la habilitacin y el disparo de la transicin. Una RdP Temporizada puede ser definida como: TPN = {P, T, A, M0, Q} donde P, T, A y M0 se definen como antes Q=(q1, q2,,qm) es el conjunto de retardos asociados a las transiciones. Una segunda posibilidad para la introduccin del concepto de tiempo consiste en asignar un retardo q al proceso de convertir una ficha en disponible luego que la misma llega a un nuevo lugar. Por ello, cada ficha puede estar en uno de dos estados: disponible y no disponible; solamente fichas disponibles habilitan transiciones. La falta de disponibilidad de una ficha modela el tiempo utilizado desarrollando una actividad. En esta abstraccin, el tiempo es asociado a los lugares. La adicin de tiempos en las Redes de Petri es un proceso crtico y se deber prestar atencin especial a la comprensin total de la semntica del modelo y a los detalles de su comportamiento. Existe una amplia variedad de extensiones adicionales, que bsicamente consisten en adicionar tiempos a las diferentes componentes del grafo bipartito que constituye la red.
RdP coloreadas
En general, los tokens representan objetos (recursos, personas, etc) en el modelado de un sistema. Para representar los atributos de estos objetos, se utilizan las RdP coloreadas, donde los colores representan las caractersticas de los objetos modelados. Las transiciones usan los valores de los tokens adquiridos para determinar los valores de los tokens producidos. Una transicin describe la relacin entre los valores de los tokens. Es posible especificar precondiciones, utilizando el color de los tokens para ser consumidos.
21
RdP jerrquicas
Las especificaciones de sistemas reales tienen una tendencia a ser grandes y complejos. Un mecanismo de abstraccin, estructuracin jerrquica, se utiliza para poder modificar ms fcilmente el modelo. La construccin jerrquica se llama subred. Una subred es un agregado de nmero de lugares, transiciones y subsistemas. Se puede utilizar para estructurar grandes procesos. En determinados niveles, se quiere dar una simple descripcin de un proceso (sin considerar todos los detalles). Pero a otro nivel quizs, se quiera especificar un comportamiento mas detallado. Cada subred se representa con un rectngulo que encapsula parte del modelo general.
Estocsticas (conceptos redes petri.pdf)

Los modelos de performance tratan de representar el comportamiento de sistemas determinsticos complejos por medio de procesos estocsticos. De esta forma es posible evitar una detallada descripcin determinstica de las operaciones del sistema, sustituyndola por asunciones probabilsticas, que capturen la esencia del sistema. Las Redes de Petri Estocsticas (SPN) se obtienen asociando con cada transicin en una RdP una variable aleatoria con distribucin exponencial que exprese el retardo desde la habilitacin hasta el disparo de la transicin. Eliminando las variables aleatorias de una SPN se obtiene la RdP asociada. Consideremos una SPN y un marcado M en el cual mltiples transiciones estn simultneamente habilitadas. La transicin que tiene asociado el retardo ms breve disparar primero. La SPN alcanza un nuevo marcado M, en el cual algunas transiciones estuvieron habilitadas en el marcado M pero que no fueron disparadas y pueden aun estar habilitadas. Debido a la propiedad de falta de memoria de las variables aleatorias exponencialmente distribuidas, obtenemos una distribucin de vida igual a la distribucin del retardo de disparo en s mismo. Se puede asumir que la actividad asociada con cada transicin recomienza con cualquier nuevo marcado. Esto es vlido inclusive cuando se est modelando actividades que se suceden en forma continua: el modelo no siente la repeticin de actividades asociadas con una transicin. Una definicin formal de una SPN es: SPN = {P, T, A, M0, L} donde P, T, A y M0 se definen como antes y L=(l1, l2,,lm) es el conjunto de tasas de retardos asociados con las transiciones, posiblemente dependientes del marcado, asociadas con las transiciones de la Red de Petri. Cuando sea necesario, la dependencia con un marcado dado M se representar como lj(M). Se puede probar que, debido a la propiedad de falta de memoria de la distribucin exponencial de los retardos en los disparos, las SPN son isomrficas a cadenas de Markov de tiempo continuo. En particular, una SPN k-acotada es isomrfica a una MC finita. La misma se puede obtener aplicando las siguientes reglas: 1. El espacio de estados S de la MC corresponde al conjunto de alcance R(M 0) de la Red de Petri asociada con la SPN (Mi<->i).
22

2. La tasa de transicin del estado i (correspondiente a Mi) al estado j (Mj) es (Mj) es qij = kHij lk, donde Hij es el conjunto de transiciones habilitadas por el marcado Mi, cuyos disparos generan el marcado Mj. Una SPN se dice ergdica si genera una CTMC. Es posible mostrar que una SPN es ergdica si M0, el marcado inicial, es alcanzable desde cualquier Mi que pertenece R(M0). Si la SPN es ergdica, es posible calcular la probabilidad de distribucin de marcados en el estado estacionario resolviendo la ecuacin matricial Q = 0 con la restriccin adicional i = l, donde Q es el generador infinitesimal cuyos elementos se obtienen por el mtodo de construccin de la MC anterior y p es el vector de probabilidades del estado estacionario. A partir de la distribucin de probabilidades del estado estacionario es posible obtener estimaciones cuantitativas del comportamiento de la SPN.
Redes de Petri Estocsticas Generalizadas

Frecuentemente no es deseable asociar un tiempo aleatorio a cada transicin. Naturalmente se tiende a asociar tiempos con las transiciones ms lentas o aquellas que se cree que tienen un mayor impacto en la performance global del sistema y a asumir instantneas aquellas muy breves o cuya duracin se estima que no tendr impacto en la performance global. Un ejemplo tpico puede ser el caso en el cual las actividades que componen el sistema poseen diferencias en duracin de rdenes de magnitud. La opcin se convierte en particularmente conveniente si el nmero de estados de la Cadena de 23arkov asociada se reduce. Las Redes de Petri Estocsticas Generalizadas (GSPN) se obtienen permitiendo que las transiciones pertenezcan a dos clases diferentes: inmediatas y temporizadas. Las transiciones inmediatas disparan en tiempo cero una vez que estn habilitadas. Las transiciones temporizadas disparan luego de un tiempo de habilitacin aleatorio, exponencialmente distribuido. Una definicin formal para las GSPN se obtiene haciendo que los elementos del arreglo L sean solamente elementos m, aquellos asociados a transiciones temporizadas. Si el conjunto de transiciones habilitadas H incluye solamente transiciones temporizadas, entonces la transicin ti (i pertenece H) dispara con probabilidad li / kHlk como en el caso de SPN. Si H involucra transiciones temporizadas e inmediatas simultneamente, nicamente dispararn transiciones inmediatas. Si H involucra cero o ms transiciones temporizadas y solamente una transicin inmediata, solamente disparar la transicin inmediata. Cuando H involucra varias transiciones inmediatas, es necesario especificar la funcin de densidad de probabilidad en el conjunto de transiciones inmediatas habilitadas de a cuerdo a la cual se obtiene la transicin que dispara. El subconjunto H que involucra todas las transiciones inmediatas habilitadas, junto con las probabilidades de distribucin es llamado switch aleatorio (random switch).
23
Ejercicios
Ejercicio N 1:
a. Dada la siguiente RdP, indique cul es la matriz de incidencia previa y la matriz de incidencia posterior.
Figura 25
Ejercicio 1.
b. Dado el marcado inicial 0 = (0, 1, 0, 0) indique cules de los siguientes son marcados son alcanzables desde 0. a. = (w, 1, 0, 0), w >=0 b. = (w1, 0, 1, w2), w1 >=0, w2 >=0 c. = (0, 1, 1, w), w >=0 d. = (w1, 0, 0, w2), w1 >=0, w2 >=0
Ejercicio N 2:
Dadas las siguientes redes de Petri, indicar cules de ellas pueden entrar en deadlock. (si al menos existe un marcado en el cual no se puede disparar ninguna transicin, entonces la red entra en deadlock) En caso de que as sea dar una secuencia de disparos que lleve a esta situacin.
Figura 26 Ejercicio 2 a.
24

Figura 27 Ejercicio 2 b.
Ejercicio N 3:
Construya una red de Petri para especificar el funcionamiento de una mquina expendedora de bebidas. La misma tiene un depsito de bebidas con una cierta carga inicial, y un depsito de monedas el cual inicialmente se encuentra vaco. Cuando se le ingresa una moneda y hay bebidas, la mquina entrega una bebida y almacena la moneda en el depsito correspondiente. Cmo modelara la situacin de que cuando no hay ms bebidas la mquina retorne la moneda?
Ejercicio N 4:
Existen pequeas diferencias entre los sistemas de luces de trnsito en diferentes pases. Por ejemplo, el sistema de luces alemn tiene una fase extra en su ciclo. Las luces no cambian repentinamente de rojo a verde sino que antes de pasar al verde enciende la luz verde junto con la luz amarilla. Construya una red de Petri que se comporte como el sistema de luces de trnsito alemn. Asegrese que la red no permita transiciones que no son posibles.
Ejercicio N 5:
a. Construya una red de Petri para especificar el funcionamiento de un sistema de control de barreras de un paso a nivel. Cuando un tren se acerca, ste es detectado por un sensor que ocasiona que se baje la barrera del paso a nivel. Cuando se aleja el tren, es detectado por otro sensor que ocasiona que se eleve la barrera. Si la barrera est elevada, los vehculos que lleguen al paso a nivel pueden pasar a travs de l, en caso contrario deben esperar hasta que la barrera sea levantada. b. Verifique que el modelo construido no permita la situacin en la que la barrera se encuentre alta, arribe un tren y un vehculo, y se le d el paso al vehculo antes de bajar la barrera. Si no es as modifquelo para que no se d dicha situacin.a. Construya una red de Petri para especificar el funcionamiento de un sistema de control de barreras de un paso a nivel.
Ejercicio N 6:
Usando alguna de las extensiones estudiadas, construya una Redes de Petri que describa el siguiente problema: Un proceso despachador de mensajes recibe mensajes provenientes de dos canales diferentes. Verifica la paridad de cada mensaje. Si la paridad es incorrecta, enva un aviso de no-reconocimiento del mensaje a travs de un canal de respuesta (existe un canal de respuesta por cada canal de entrada); si la paridad es correcta, coloca el mensaje recibido en un buffer. El buffer puede contener hasta diez mensajes. Cuando el buffer est lleno, el despachador enva todo el contenido del buffer a una unidad de procesamiento a travs de otro canal. No se pueden colocar mensajes en un buffer lleno.
25
Ejercicio 7
Resuelva mediante una RdP el siguiente problema: Un grupo de 5 filsofos se encuentran sentados en una mesa circular donde ha sido depositada comida china. Cada filsofo tiene frente a l un plato donde servirse y entre cada uno de ellos un palillo chino. Como sabemos, para comer comida china necesitamos dos palillos, entonces cada filsofo para comer debe tener dos palillos en su poder. El problema est en que si cada filsofo tiene un slo palillo en su poder todos los filsofos entrarn en una espera eterna para comer, otro problema puede surgir y es el que un filsofo obtenga siempre los dos palillos y se mantenga comiendo, lo que producir que los otros filsofos no puedan comer.
Ejercicio 8
Tres fumadores estn representados por los procesos F1, F3 y F3. Tres vendedores estn representados por los procesos V1, V2 y V3. Para fumarc cada fumador necesita tabaco, papel para tabaco y un fsforo; cuando dispone de estos recursos, el fumador fuma un cigarrillo hasta terminarlo y entonces queda elegible para fumar de nuevo. F1 tiene tabaco, F2 tiene papel y F3 tiene fsforos. V1 vende tabaco y papel, V2 vende papel para tabaco y fsforos, y V3 vende fsforos y tabaco. V1, V3 y V3 trabajan en exclusin mutua; slo uno de los procesos puede trabajar a la vez y el siguiente vendedor no puede trabajar hasta que los recursos suministrados por el vendedor anterior hayan sido consumidos por un fumador. A partir de este enunciado, dibuje una RdP que represente el problema y sus matrices de incidencia previa y posterior.
26

Ejercicio 1
Matriz de incidencia previa (P t) t1 P1 P2 P3 P4 0 0 0 0 t2 1 1 0 0 t3 0 0 1 0 t4 0 0 0 1
Matriz de incidencia posterior (t P) t1 P1 P2 P3 P4 1 0 0 0 t2 0 0 1 0 t3 0 1 0 1 t4 0 0 0 0
a. Marcado alcanzable. b. Marcado alcanzable. c. Marcado no alcanzable. d. Marcado no alcanzable.
Ejercicio 2
a) no b) no
27
Ejercicio 3
Salida de monedas
p3
Ingresa moneda Depsito provisorio
t2
Depsito de monedas
t1
p1 p4
t3
Bebidas Salida de bebidas
p2
Figura 28 Respuesta al ejercicio 3. Mquina expendedora de bebidas.
p5
Ejercicio 4
Verde
Rojo
p2
Verde
p1 t1 t2
Amarillo
p4
p3
Amarillo
t4
Figura 29
p5
Respuesta al ejercicio 4. Semforo alemn
t3
28
Ejercicio 5
t5
Automviles para cruzar Automviles que cruzaron
p7
Barrera en alto
t6
p8
p3
Barrera baja Sensor B
t2
Tren acercndose Sensor A
p4
Tren alejndose
t3
p5
p1
t1
p2 p6 t4
Figura 30
Respuesta al ejercicio 5. Sistema de control de barreras de un paso a nivel.
Ejercicio 6
Se utilizaron RdP coloreadas para identificar los mensajes que circulan por distintos canales. En rojo los mensajes del canal A y en azul los mensajes del canal B.
t9
p2
Canal A Calcular paridad Mensajes con errores
p8 t8
Canal A de error Canal B de error
t2 p3
Canal B
t5
p6
p1
t1
Buffer K = 10 K = 10
Unidad de procesamiento
p7 t6
t3
p4
t4
p5
t7
Figura 31
Respuesta al ejercicio 6. Despachador de mensajes.
Ejercicio 7
Matriz de incidencia previa V1 V2 V3 F1 F2 F3
29

1 1 2 3 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0
Matriz de incidencia posterior V1 1 2 3 4 0 1 0 0 V2 0 0 1 0 V3 0 0 0 1 F1 1 0 0 0 F2 1 0 0 0 F3 1 0 0 0
Ejercicio 8
p2
V1
V2
V3
p2
p2
p2
F3
F1
F2
Figura 32
Respuesta al ejercicio 8.
30
Glosario
Conjuntos
{e1, e2, . . . , en} (e|r) Conjunto formado por los elementos e1, e2, . . . , en, (por extensin) Conjunto formado por los elementos propiedades r (notacin por comprensin) Pertenencia No pertenencia Conjunto vaco Unin de los conjuntos A y B Interseccin de los conjuntos A y B Producto cartesiano de A por B [conjunto de los pares (a, b), aeA y bEB] Inclusin del conjunto A en el conjunto B Inclusin o igualdad del conjunto A en el conjunto B e que cumplen la
AUB AB AXB AB AB
Lgica
Existe (cuantificador existencial) Para todo (cuantificador universal) Implica. S y solo s.
31
ndice de imgenes
FIGURA 1REPRESENTACIN GRFICA DE UNA RDP....................................................................................4 FIGURA 2 LUGAR ACTIVO.....................................................................................................................4 FIGURA 3TRANSICIN SENSIBILIZADA.....................................................................................................4 FIGURA 4TRANSICIN VALIDADA...........................................................................................................4 FIGURA 5RED DE PETRI CON CUATRO LUGARES Y TRES TRANSICIONES.........................................................5 FIGURA 6EVOLUCIN DEL MARCADO DE LA RED DEL EJEMPLO 1.................................................................8 FIGURA 7ESTRUCTURA BSICA. SELECCIN.............................................................................................9 FIGURA 8ESTRUCTURA BSICA. ATRIBUCIN...........................................................................................9 FIGURA 9ESTRUCTURA BSICA. DISTRIBUCIN........................................................................................9 FIGURA 10ESTRUCTURA BSICA. CONJUNCIN......................................................................................10 FIGURA 11ESTRUCTURA BSICA. EJECUCIN SECUENCIAL.......................................................................10 FIGURA 12ESTRUCTURA BSICA. SINCRONIZACIN.................................................................................10 FIGURA 13ESTRUCTURA BSICA. CONCURRENCIA..................................................................................10 FIGURA 14ESTRUCTURA BSICA. CONFLICTOS.......................................................................................11 FIGURA 15EJEMPLO DE UNA RDP NO VIVA...........................................................................................13 FIGURA 16EJEMPLO DE UNA RDP PSEUDOVIVA.....................................................................................14 FIGURA 17EJEMPLO DE UNA RDP NO REVERSIBLE.................................................................................15 FIGURA 18EJEMPLO DE UNA RDP NO ACOTADA....................................................................................16 FIGURA 19EJEMPLO DE UNA RDP CON SU GRAFO DE ALCANZABILIDAD.....................................................16 FIGURA 20EXTENSIONES. RECURSOS COMPARTIDOS...............................................................................17 FIGURA 21EXTENSIONES. ARCOS INHIBIDORES......................................................................................17 FIGURA 22VALIDACIN DE UNA RDP..................................................................................................18 FIGURA 23TCNICA ENUMERATIVA DE VALIDACIN................................................................................19 FIGURA 24TCNICA DE TRANSFORMACIN DE VALIDACIN......................................................................19 FIGURA 25EJERCICIO 1......................................................................................................................24 FIGURA 26EJERCICIO 2 A...................................................................................................................25 FIGURA 27EJERCICIO 2 B...................................................................................................................25 FIGURA 28RESPUESTA AL EJERCICIO 3. MQUINA EXPENDEDORA DE BEBIDAS............................................28 FIGURA 29RESPUESTA AL EJERCICIO 4. SEMFORO ALEMN....................................................................28 FIGURA 30RESPUESTA AL EJERCICIO 5. SISTEMA DE CONTROL DE BARRERAS DE UN PASO A NIVEL.................29 FIGURA 31RESPUESTA AL EJERCICIO 6. DESPACHADOR DE MENSAJES........................................................29 FIGURA 32RESPUESTA AL EJERCICIO 8.................................................................................................30
Figura 33............................................................................................................................................
32
Bibliografa
C. Ramchandan. Analysis of Asynchronous concurrent systems by timed petri nets, MIT MAC-TR-120, 1974. Ing. Jair Cervantes Canales. Representacin y aprendizaje de conocimiento con redes de Petri difusas. Mexico 2005. K. Jensen, Colored Petri nets and the invariant method, Theoretical Computer Science, volume 14, 1981, pp. 317-336. Murata, Tadao. Petri Nets: properties, analysis and applications. Proceedings of the IEEE, VOL. 77, No. 4. April 1989.
33

Redes de Petri

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Redes de Petri

Enviado por

Direitos autorais:

Formatos disponíveis

Teora de Redes de Petri

Apunte de Redes de Petri

Apunte de Redes de Petri

Apunte de Redes de Petri

Apunte de Redes de Petri

Respuestas a los ejercicios

Apunte de Redes de Petri

Respuestas a los ejercicios

Apunte de Redes de Petri

Respuestas a los ejercicios

Apunte de Redes de Petri

Figura 1 Representacin grfica de una Rdp.

Los lugares que contienen marcas se consideran lugares activos.

p1 t Respuestas a los1 ejercicios p2

Apunte de Redes de Petri Representacin matricial

Figura 5 Red de Petri con cuatro lugares y tres transiciones.

Respuestas a los ejercicios

Apunte de Redes de Petri

Respuestas a los ejercicios

Apunte de Redes de Petri

Respuestas a los ejercicios

Apunte de Redes de Petri

Figura 6 Evolucin del marcado de la red del ejemplo 1.

Subclases de Redes de Petri

Red de libre eleccin

Respuestas a los ejercicios

Apunte de Redes de Petri

Figura 7 Estructura bsica. Seleccin.

Ejecucin independiente de un proceso por dos procesos distintos

Figura 9 Estructura bsica. Distribucin.

Respuestas a los ejercicios

Apunte de Redes de Petri Conjuncin

Estructura bsica. Conjuncin.

Estructura bsica. Ejecucin secuencial.

Estructura bsica. Sincronizacin.

Estructura bsica. Concurrencia.

Respuestas a los ejercicios

Apunte de Redes de Petri Conflictos

Respuestas a los ejercicios

Apunte de Redes de Petri

Red de Petri Acotada Estructuralmente

Red de Petri Estructuralmente Viva

Red de Petri Completamente Controlable

Red de Petri Estructuralmente Conservativa

Red de Petri (parcialmente) Repetitiva

Red de Petri (parcialmente) Consistente

Respuestas a los ejercicios

Apunte de Redes de Petri

Respuestas a los ejercicios

Apunte de Redes de Petri

Apunte de Redes de Petri

Apunte de Redes de Petri Conservatividad

Ejemplo de una RdP con su grafo de alcanzabilidad.

Respuestas a los ejercicios

Apunte de Redes de Petri

Extensiones. Recursos compartidos.

Extensiones. Arcos inhibidores.

Respuestas a los ejercicios

Apunte de Redes de Petri

Validacin de una RdP.

Respuestas a los ejercicios

Apunte de Redes de Petri

Tcnica de transformacin de validacin.

Apunte de Redes de Petri