Solucin de Problemas para Ingeniera REDES DE PETRI

Amilcar Meneses Viveros Departamento de Computacin CINVESTAV-IPN Febreo 2011

Tuesday, March 15, 2011

Contenido
Introduccin Deniciones bsicas

Tuesday, March 15, 2011

REDES DE PETRI
Las redes de Petri (RdP) (C.A. Petri 1962) son una herramienta de modelado para la representacin y anlisis de procesos concurrentes. Modelacin de sistemas usando RdP tiene tres ventajas principales: 1.El sistema completo es es ms fcil de entender debido a la naturaleza grca y precisa del esquema de representacin. 2.El comportamiento del sistema se puede analizar usando teora de RdP (rboles de marcas, matriz de incidencia y ecuacin de estado) 3.Las redes de Petri pueden sintetizarse usando tcnicas bottom-up y top-down, por lo que los sistemas diseados son fciles de vericar.

Tuesday, March 15, 2011

REDES DE PETRI
El xito de las RdP se debe a la simplicidad de su mecanismo. Aunque la representacin de sistemas grandes es costosa. Para facilitar el uso de las RdP en distintos campos de aplicacin, el modelo original se ha extendido en dos aspectos principales: 1.Modicaciones estructurales. 2.Redes de Petri temporizadas.

Tuesday, March 15, 2011

Deniciones bsicas
Las redes de Petri son un grafo orientado formado por:
LUGARES: Se representan como circunferencias. TRANSICIONES: Se representan como rectngulos o segmentos de rectas. ARCOS DIRIGIDOS: Aristas que unen lugares y transiciones.

ARCO

LUGAR

TRANSICIN

Tuesday, March 15, 2011

Deniciones bsicas
Un lugar P es ENTRADA de una transicin T si existe un arco de P a T.
Un lugar P es SALIDA de una transicin T si existe un arco de T a P.

ARCO

LUGAR

TRANSICIN

Tuesday, March 15, 2011

Deniciones bsicas - marcas

Un lugar puede contener un nmero de marcas (o tokens), que se representan por un punto en el interior del crculo de la plaza.
La MARCA de una RdP es el conjunto de marcas asociadas a cada uno de los lugares en un instante dado. Dene el estado de una RdP.

ARCO TOKEN

LUGAR

TRANSICIN

Tuesday, March 15, 2011

MODELACION
Transiciones: Representan procesos. Lugares: Representan condiciones necesarias para le ejecucin de un proceso. Arcos dirigidos: relaciones condiciones y procesos. Marca: Si estn presentes en un lugar, indican que se verica la condicin que representa el lugar.

Tuesday, March 15, 2011

Redes de Petri - Disparo

Una condicin est habilitada si todos los lugares de entrada estn marcados. Una transicin habilitada se puede disparar. El disparo de una transicin habilitada consiste en quitar una marca de cada lugar de entrada y poner una marca en cada lugar de salida.

Tuesday, March 15, 2011

Redes de Petri - Disparo

Tuesday, March 15, 2011

Evolucin de la marca

Tuesday, March 15, 2011

Evolucin de la marca

Tuesday, March 15, 2011

Evolucin de la marca

Tuesday, March 15, 2011

Evolucin de la marca

Tuesday, March 15, 2011

Evolucin de la marca

Tuesday, March 15, 2011

Evolucin de la marca

Tuesday, March 15, 2011

REDES DE PETRI - FORMALIZACION

Una red de Petri (RdP) es una grafo dirigido con dos tipos de nodos (lugares y trnasiciones). Una red de Petri (RdP) es una estructura algebica PN = (P,T,I,O) P = {p1, p2, p3, ... , pm} es el conjunto de lugares. T = {t1, t2, t3, ... , tn} es el conjunto de transiciones. I = PxT N es la funcin de entrada en la cual se especican los lugares de entrada de una transicin. O = PxT N es la funcin de salida en la cual se especican los lugares de salida de una transicin. Los conjuntos P y T son disjuntos. Se dice que I y O son funciones de incidencia.

Tuesday, March 15, 2011

REDES DE PETRI - FORMALIZACION

Un arco puede tener un valor de peso w(p,t)

El peso indica el nmero de marcas que toma la funcin de entrada I de una transicin T o el nmero de marcas que escribe la funcin de salida O de una transicin. Cuando un arco no tiene representada la funcin de peso, por omisin se considera 1.

Tuesday, March 15, 2011

REDES DE PETRI - FORMALIZACION

Una red de Petri es ordinaria si sus funciones de incidencia slo pueden tomar valores 0 y 1 (todos los arcos son de peso unitario). Una red de Petri es generalizada si sus funciones de incidencia pueden tomar cualquier valor entero mayor o igual a cero. Una red de Petri es pura o no reexiva si ningn lugar es entrada y salida de una misma transicin.

Tuesday, March 15, 2011

REDES DE PETRI - MARCADO

Una MARCA de una red de Petri PN=(P,T,I,O) es una fucin que asocia a cada elemento pi del conjunto P con un nmero entero no negativo.

M :P N
Si n es el nmero de lugares de la red de Petri, una MARCA puede interpretarse como un vector de dimensin n, M=(m1,m2,...mn), en el que mi es el nmero de tokens que M asigna a pi y se verica M(pi)=mi

Tuesday, March 15, 2011

REDES DE PETRI MARCADAS

Una red de Petri con una marca inicial M0 es una red de Petri marcada C= (PN,M0).

M0 = (m01 , m02 , . . . , m0n )

El estado de una red de Petri se dene por el nmero mi de tokens contenidos en cada lugar pi y se representa por su marcado.

Tuesday, March 15, 2011

REDES DE PETRI MARCADAS - EJECUCION

Una red de Petri se ejecuta de acuerdo a las siguientes reglas 1.Una transicin t se dice que est habilitada en una red de Petri con un marcado M si todos lo lugares de entrada contienen al menos tantos tokens como arcos haya desde cada lugar a la transicin, esto es si

M (p) I(p, t)
para todo lugar de entrada de la transicin. Una transicin sin lugares de entrada siempre est habilitada y se denomina transicin fuerte.

Tuesday, March 15, 2011

REDES DE PETRI MARCADAS - EJECUCION

Una red de Petri se ejecuta de acuerdo a las siguientes reglas 2.Una transicin habilitada puede dispararse retirando de cada lugar de entrada tantos tokens como arcos haya desde el lugar hacia la transicin (I(p,t)) y depositando tantos tokens en cada lugar de salida como arcos haya de la transicin al lugar (O(p,t)). 3.El disparo de una transicin modica la distribucin de tokens en los lugares. Si desde el marcado Mi se produce el disparo de una transicin t, el nuevo marcado Mj se calcula mediante la expresin

Mj (p) = Mi (p) + O(t, p) I(p, t) p P

Tuesday, March 15, 2011

REDES DE PETRI - DISPARO

Los tokens son indivisibles. Un token puede eliminarse de un lugar slo por una transicin. Por tanto un disparo puede deshabilitar otras transiciones. Exceptuando esta restriccin, el disparo de las transiciones se desarrolla de manera sncrona. Un marcado Mj se dice inmediatamente alcanzable desde un marcado Mi si se puede obtener al disparar una transicin habilitada por Mi. Un marcado Mk se dice alcanzable desde un marcado Mi si existe una secuencia de disparos de transiciones que transforma Mi en Mk. El conjunto de alcanzabilidad, R(M), de una red de Petri marcada es el conjunto de todos los marcados alcanzables desde M.

Tuesday, March 15, 2011

DISPARO Y CONJUNTO DE ALCANZABILIDAD

Tuesday, March 15, 2011

ARBOL DE ALCANZABILIDAD
El rbol de alcanzabilidad de una red de Petri representa el conjunto de alcanzabilidad R(M0). Es un grafo en forma de rbol donde cada nodo es una marca alcalzable de la red. Los nodos se conectan mediante arcos etiquetados con la transicin que se dispara para pasar de una marca a otra.

Tuesday, March 15, 2011

ARBOL DE ALCANZABILIDAD

Tuesday, March 15, 2011

ARBOL DE ALCANZABILIDAD
Se representa la estructura inninita de R(M0) con un rbol nito. Se expande el rbol hasta que se alcanza una marca frontera (hojas del rbol): Es una marca muerta, o una marca donde no hay transiciones habilitadas. Es una marca que ya apareci en el rbol de alcanzabilidad, denominado nodo duplicado. Es una marca que se diferenca de otra en el rbol slo por tener un nmero distinto de tokens en algn lugar y que habilita al mismo conjunto de transiciones. Estas marcas se representan con una w en la posicin correspondiente al lugar con distintos nmeros de tokens.

Tuesday, March 15, 2011

ARBOL DE ALCAZABILIDAD

Tuesday, March 15, 2011

ARBOL DE ALCANZABILIDAD Y AFD

rbol de alcanzabilidad
Tuesday, March 15, 2011

AFD

REPRESENTACION MATRICIAL
Una red de Petri con n lugares y m transiciones se representa por dos matrices de incidencia de dimensin nxm que representan las conexiones entre los nodos de la red.

La matriz de incidencia previa

C (j, i) = I(pi , tj )
La matriz de incidencia posterior

C (j, i) = I(pi , tj )

La matriz de incidencia se dene como

C = C+ C

Tuesday, March 15, 2011

REPRESENTACION MATRICIAL

Tuesday, March 15, 2011

REPRESENTACION MATRICIAL
Se puede representar, de forma equivalente a una red de Petri con las matrices de incidencia PN = (P,T, C+, C-). Esta notacin permite redenir los conceptos en trminos de vectores y matrices. Una transicin tj se dene por un vector ej de dimensin m (nmero de transiciones) con componentes:

ej(i) =

1 si i = j 0 si i j

Tuesday, March 15, 2011

REPRESENTACION MATRICIAL

Tuesday, March 15, 2011

REPRESENTACION MATRICIAL

Tuesday, March 15, 2011

REPRESENTACION MATRICIAL

Tuesday, March 15, 2011

REPRESENTACION MATRICIAL

Tuesday, March 15, 2011