1

DTE
Redes de Petri
IS I 2010

Las RPs son una alternativa para modelar sistemas por medio de una representacin matemtica El anlisis de una RP puede revelar informacin acerca de la estructura y el comportamiento dinmico del sistema modelado.

C=(P,T,I,O)
P = Sitios
Condiciones. Se definen como un conjunto {P1,..., Pn}. Representadas grficamente por crculos {t1,..., tn}. Representadas grficamente con una barra T -> P Representadas grficamente con una flecha

T = Transiciones

I = Funciones de entrada
O = Funciones de Salida

P -> T Representadas grficamente con una flecha

C = (P, T, I, O) P = {p1, p2, p3, p4, p5} T = {t1, t2, t3, t4} Funciones I /O

I (t1) = {p1} I (t2) = {p2, p3, p5} I (t3) = {p3} I (t4) = {p4}

O (t1) = {p2, p3, p5} O (t2) = {p5} O (t3) = {p4} O (t4) = {p2, p3}

Son asignados a los sitios de una RPs Son los que definen la ejecucin de la red La cantidad y la Posicin de las Marcas varia durante la ejecucin de la red Una Marca los sitios

es una asignacin de marcas a

Marcas
(p1) = 1 (p2) = 2 (p3) = 0 (p4) = 1 (p5) = 1

La ejecucin de una RPs se controla por el numero y la distribucin de las marcas. Las marcas residen en los sitios y controlan la ejecucin de la transiciones. Una RPs se ejecuta disparando transiciones, el disparo de una transicin remueve las marcas a los sitios de entrada, y crea nuevas marcas a los sitios de salida. Un transicin se encuentra habilitada si cada uno de sus sitios de entrada posee al menos tantas marcas como arcos del sitio a la transicin.

Marcas Grafo
(p1) = 1 (p2) = 2 (p3) = 0 (p4) = 1 (p5) = 1

En el ejemplo las transiciones habilitadas son t1 y t4

Modelar el funcionamiento de una fabrica. La fabrica espera hasta que aparece un encargue Luego fabrica el producto pedido Lo enva para su entrega No se puede fabricar dos productos al mismo tiempo

Condiciones
a. b. c. d.

Fabrica esperando Pedido esperando Fabrica trabajando Pedido Completo

Eventos
1. 2. 3. 4.

Llega un pedido La fabrica comienza con el pedido La fabrica termina con el pedido El pedido es enviado para su entrega

Pre y Post condiciones

Eventos

Precondiciones

Poscondiciones

1 2 3 4

Ninguna a, b c. d.

b c d, a ninguna

1. 2. 3. 4.

Condiciones -> modelamos con sitios Eventos -> modelamos con transiciones Precondiciones -> Entradas a transiciones Poscondiciones -> Salidas de transiciones

Dadas las siguientes instrucciones modelar la red de petris suponiendo que se permiten ejecutar en paralelo

y:= y+1; x:= x+2: z:= z+3; w:= z+y; f:= x+z; h:= f+w+y;