Practica 4 Ingenieria de Software

Ingeniería de Software I – Redes de Petri 2013
1
Ingeniería de Software I 2013
Guía práctica 4 – Redes de Petri
Conceptos
En términos formales una Red de Petri se define como un conjunto P de Sitios, un conjunto T de transiciones, una Función I de entrada y una Función O de salida.
C = (P, T, I, O) donde:
P = Sitios: condiciones. Se definen como un conjunto {P1,..., Pm}. Representadasgráficamente por círculos.
T = Transiciones: {t1,..., tn}. Representadas gráficamente con una barra.
I = Funciones de entrada T -> P Representadas gráficamente con una flecha.
O = Funciones de Salida T -> P Representadas gráficamente con una flecha.
Ejemplo:
C = (P, T, I, O)
P = {p1, p2, p3, p4, p5}
T = {t1, t2, t3, t4}
I (t1) = {p1}
O (t1) = {p2, p3, p5}
I (t2) = {p2, p3, p5}
O (t2) = {p5}I (t3) = {p3}
O (t3) = {p4}
I (t4) = {p4}
O (t4) = {p2, p3}
Grafo:
p2 p1 t1 p5 t2 t4 p4 p3 t3
Ingeniería de Software I – Redes de Petri 2013
2
Marcas (tokens): Son asignados a los sitios de una Red de Petri y son los que definen la ejecución
de la red. La cantidad y la posición de las marcas varían durante la ejecución de la red.
Asignación de marcas:
Grafo con Marcas:
Ejecución deuna Red de Petri:
La ejecución de una Red de Petri se controla por el número y la distribución de las marcas.
Las marcas residen en los sitios y controlan la ejecución de las transiciones.
Una Red de Petri se ejecuta disparando transiciones, el disparo de una transición remueve
las marcas a los sitios de entrada, y crea nuevas marcas a los sitios de salida. Una transición se
encuentrahabilitada si cada uno de sus sitios de entrada posee al menos tantas marcas como
arcos del sitio a la transición.
En el ejemplo las transiciones habilitadas son: t1 y t4.
p2
p1 t1 p5 t2 t4 p4
p3 t3
 (p1) = 1  (p2) = 2  (p3) = 0  (p4) = 1  (p5) = 1
Ingeniería de Software I – Redes de Petri 2013
3
Ejemplo práctico:
Modelar el funcionamiento de una fábrica. La fábrica espera hasta que apareceun encargue y luego fabrica el producto pedido y lo envía para su entrega. No se puede fabricar un producto hasta que no se termine con el anterior.
Condiciones:
a. Fábrica esperando
b. Pedido esperando
c. Fábrica trabajando
d. Pedido Completo
Eventos:
1. Llega un pedido
2. La fabrica comienza con el pedido
3. La fabrica termina con el pedido
4. El pedido es enviado para su entregaPrecondiciones y Poscondiciones:
Eventos Precondiciones Poscondiciones
1
Ninguna
b
2
a, b
c
3
c.
d, a
4
d.
ninguna
Representación:
1. Condiciones -> modelamos con sitios
2. Eventos -> modelamos con transiciones
3. Precondiciones -> Entradas a transiciones
4. Poscondiciones -> Salidas de transiciones
Ingeniería de Software I – Redes de Petri 2013
4
Ejercitación Práctica
1.Graficar las siguientes estructuras de Redes de Petri:
a) P = {p1,p2,p3,p4} T = {t1,t2,t3,t4,t5}
I(t1)={} O(t1)={p1}
I(t2)={p1} O(t2)={p2}
I(t3)={p2,p4} O(t3)={p1,p3}
I(t4)={} O(t4)={p3}
I(t5)={p3} O(t5)={p4}
b) P = {p1,p2} T = {t1,t2,t3}
I(t1)={p1} O(t1)={p1,p2}
I(t2)={p1} O(t2)={p2}
I(t3)={p2} O(t3)={}
2. Para la siguiente estructura, graficar las Redes de Petri e indicar la marcaciónμ=(1,0,1,1,0,0).
a) P = {p1,p2,p3,p4,p5,p6} T = {t1,t2,t3,t4,t5}
I(t1)={p1} O(t1)={p2,p3}
I(t2)={p3} O(t2)={p3,p5,p5}
I(t3)={p2,p3} O(t3)={p2, p4}
I(t4)={p4,p5,p5,p5} O(t4)={p4}
I(t5)={p2} O(t5)={p6}
b) Indicar las transiciones habilitadas.
3. Modelar:
Ingeniería de Software I – Redes de Petri 2013
5
Dos peluqueros trabajan en una peluquería. La peluquería cuenta con una sala de espera consólo 3 sillas para que los clientes esperen por ser atendidos. Cuando alguno de los peluqueros se libera atiende a uno de los clientes de cualquiera de las sillas para cortarle el cabello, liberando la silla de la sala de espera, para que se siente un nuevo cliente. Una vez que terminó de cortarle el cabello el peluquero es liberado y puede atender a otro cliente. Finalmente los clientes deben...