Petri 1 PDF

1
REDES DE PETRI: DEFINICIN REDES DE PETRI: DEFINICIN,

FORMALIZACIN Y EJECUCIN
PROGRAMACIN CONCURRENTE
Programacin Concurrente:
Redes de Petri
Mercedes Granda
Departamento de Electrnica y Computadores
1
MASTER EN COMPUTACIN
DEPARTAMENTO DE ELECTRNICA Y COMPUTADORES
UNIVERSIDAD DE CANTABRIA
CURSO 2012/13
REDES DE PETRI
Las redes de Petri (RdP) (C.A. Petri, 1962) son una
herramienta de modelado muy efectiva para la
t i l li i d t representacin y el anlisis de procesos concurrentes.
Modelar un sistema usando redes de Petri tienen tres
ventajas potenciales:
1) El sistema completo es a menudo ms fcil de entender debido a la
naturaleza grfica y precisa del esquema de representacin.
2) El comportamiento del sistema puede ser analizado utilizando la teora
de las redes de Petri, que incluye herramientas para el anlisis tales
como los rboles de marcados y establece relaciones entre ciertas
Redes de Petri
Mercedes Granda
2
como los rboles de marcados y establece relaciones entre ciertas
estructuras de redes y el comportamiento dinmico. Pueden aplicarse
tambin tcnicas para la verificacin de programas paralelos.
3) Puesto que las redes de Petri pueden sintetizarse usando tcnicas
"bottom-up" y "top-down", es posible disear automticamente sistemas
cuyo comportamiento es conocido o fcilmente verificable.
2
REDES DE PETRI
Su xito se debe bsicamente a la simplicidad de su
mecanismo bsico, si bien, la representacin de grandes
i t t sistemas es costosa.
Para facilitar su uso en diferentes campos de aplicacin,
el modelo original se ha extendido en dos aspectos:
1) Introduccin de modificaciones estructurales para
incrementar la potencia o la comodidad de modelado
o para facilitar la solucin de los problemas de
anlisis
Redes de Petri
Mercedes Granda
3
anlisis.
2) Definicin de redes de Petri temporizadas que se
pueden utilizar para analizar cuantitativamente las
prestaciones del sistema modelado.
REDES DE PETRI:
DEFINICIONES BSICAS
Las redes de Petri son un grafo orientado formado por:
Plazas o lugares representadas mediante circunferencias Plazas o lugares, representadas mediante circunferencias.
Transiciones, representadas por segmentos rectilneos.
Arcos dirigidos que unen transiciones y plazas.
Redes de Petri
Mercedes Granda
4
3
REDES DE PETRI:
DEFINICIONES BSICAS
Una plaza p es entrada de una transicin t si existe un
arco desde p a t arco desde p a t.
Una plaza p es salida de una transicin t si existe un arco
desde t a p.
Redes de Petri
Mercedes Granda
5
REDES DE PETRI:
MARCADO
Una plaza puede contener un nmero positivo o nulo de testigos o
marcas, que se representan por un punto en el interior del crculo q p p p
que representa una plaza.
El marcado de una red de Petri es el conjunto de testigos asociados
con cada una de las plazas en un instante dado. Define el estado de
la red de Petri.
Redes de Petri
Mercedes Granda
6
4
REDES DE PETRI Y
PROGRAMACIN CONCURRENTE
Transiciones: representan los procesos del
programa programa.
Plazas: representan las condiciones
necesarias para que un proceso se ejecute.
Arcos dirigidos: relacionan condiciones y
procesos.
T ti i t t l
Redes de Petri
Mercedes Granda
7
Testigos: si estn presentes en una plaza,
indican que se verifica la condicin que
representa esa plaza.
REDES DE PETRI: DISPARO
Una transicin est sensibilizada o
habilitada si todos las plazas de entrada habilitada si todos las plazas de entrada
estn marcadas.
Una transicin habilitada se puede
disparar.
El disparo de una transicin habilitada
i t it t ti d d l
Redes de Petri
Mercedes Granda
8
consiste en quitar un testigo de cada plaza
de entrada y aadir un testigo a cada uno
de las plazas de salida.
5
REDES DE PETRI:
EJEMPLOS DE DISPARO
t
1
t
2
t
3
ANTES
DEL DISPARO
DESPUS
Redes de Petri
Mercedes Granda
9
t
3 t
2
t
1
DESPUS
DEL DISPARO
EVOLUCIN DEL MARCADO:
DISPARO DE LA TRANSICIN t1
t1
Redes de Petri
Mercedes Granda
10
6
DISPARO DE LAS TRANSICIONES t2 t3.
t2
Redes de Petri
Mercedes Granda
11
t3
DISPARO DE LA TRANSICIN t2.
t2
Redes de Petri
Mercedes Granda
12
7
t3
Redes de Petri
Mercedes Granda
13
t4
t4
Redes de Petri
Mercedes Granda
14
t5
8
EVOLUCIN DEL MARCADO
p3
p4
t3
t3
t1
t2
t2
t5
p1
p2 p5
t1
t2
t5
t4
4
p4
p1
p2
p3
p4
p5
t1
t2
t3
t5
t4
p4
t3
p1
p2
p3
p5
t1
t2
t5
t4
Redes de Petri
Mercedes Granda
15
t3
t4 p1
p2
p3
p4
p5
t1
t2
t3
t5
t4
p1
p2
p3
p4
p5
t1
t2
t3
t5
t4
REDES DE PETRI:
FORMALIZACIN
En una red de Petri, se permite que ms de un arco
conecte una plaza con una transicin o una transicin
l con una plaza.
Si P es el conjunto de plazas de la red de Petri y T es el
conjunto de transiciones, se define:
Funcin incidencia previa, I:PT N
I(p
i
,t
j
)=nmero de arcos que unen la plaza p
i
con la
transicin t
j
.
Funcin incidencia posterior, O:TP N
Redes de Petri
Mercedes Granda
16
O(t
j
,p
i
)=nmero de arcos que unen la transicin t
j
con la plaza p
i
.
Peso o valoracin de un arco: etiqueta de valor
I(p,t) u O(t,p). Un arco no etiquetado tiene peso uno.
9
REDES DE PETRI:
FORMALIZACIN
Una red de Petri es una cuadrupla RdP=(P,T,I,O)
tal que tal que
P es un conjunto finito y no vaco de plazas.
T es un conjunto finito y no vaco de
transiciones.
PT=
I:P TN es la funcin de incidencia
Redes de Petri
Mercedes Granda
17
I:P TN es la funcin de incidencia
previa.
O:T PN es la funcin de incidencia
posterior.
REDES DE PETRI:
FORMALIZACIN
Una red de Petri es ordinaria si sus funciones
de incidencia slo pueden tomar valores 0 y 1 de incidencia slo pueden tomar valores 0 y 1
(todos sus arcos son de peso unitario).
Una red de Petri es generalizada si sus
funciones de incidencia pueden tomar cualquier
valor entero mayor o igual que cero.
Redes de Petri
Mercedes Granda
18
Una red de Petri es pura o no reflexiva si
ninguna plaza es a la vez entrada y salida de
una misma transicin.
10
REDES DE PETRI: MARCADO
Un marcado M de una red de Petri
RdP=(P,T,I,O) es una funcin desde el conjunto ( , , , ) j
de las plazas P al conjunto de los enteros no
negativos N:
M: P N
Si n es el nmero de plazas de la red de Petri,
un marcado puede interpretarse como un
Redes de Petri
Mercedes Granda
19
p p
vector de dimensin n, M=(m
1
,m
2
,...,m
n
), en el
que m
i
es el nmero de testigos que M asigna a
p
i
y se verifica M(p
i
)=m
i
.
REDES DE PETRI MARCADAS
Una red de Petri con un marcado inical M
0
es una red de Petri
marcada,C=(RdP,M
0
):
C=(RdP,M
0
)
RdP=(P,T,I,O)
P={p
1
, p
2
,...,p
n
}
T={t
1
, t
2
,...,t
m
}
I:PT N
O:TP N
Redes de Petri
Mercedes Granda
20
M
0
=(m
01
, m
02
,..., m
0n
)
El estado de una red de Petri marcada se define por el nmero m
i
de
testigos contenidos en cada plaza p
i
y se representa por su marcado.
11
REDES DE PETRI MARCADAS:
EJECUCIN
Una red de Petri se ejecuta de acuerdo con las siguientes reglas.
1) Una transicin t se dice que est habilitada en una red de Petri con un marcado
M si todas sus plazas de entrada contienen al menos tantos testigos como arcos M si todas sus plazas de entrada contienen al menos tantos testigos como arcos
haya desde cada plaza a la transicin, esto es, si M(p)>I(p,t) para toda plaza de
entrada de la transicin t.
Una transicin sin plazas de entrada, lo que se denomina transicin fuente, est siempre
habilitada puesto que no tiene restricciones de entrada.
2) Una transicin habilitada puede dispararse retirando de cada plaza de entrada
tantos testigos como arcos haya desde la plaza hacia la transicin (I(p,t)) y
depositando tantos testigos en cada plaza de salida como arcos haya desde la
transicin a la plaza (O(t,p)). La seleccin de cul entre todas las transiciones
habilitadas es la prxima en dispararse es arbitraria y se supone que se decide
en un nivel de abstraccin inferior.
Redes de Petri
Mercedes Granda
21
3) El disparo de una transicin modifica la distribucin de testigos en las plazas. Si,
desde un marcado M
i
, se produce el disparo de una transicin t, el nuevo
marcado que se obtiene, M
j
, se calcula mediante la expresin:
M
j
(p) = M
i
(p) + O(t,p) - I(p,t) pcP
Los testigos se utilizan para definir la ejecucin de la red de Petri. Una transicin sin lugares
de salida, lo que se denomina transicin sumidero, elimina testigos de la red de Petri.
REDES DE PETRI: DISPARO
Los testigos son indivisibles; esto es, un testigo puede quitarse de
una plaza por slo una transicin. Esto hace que el disparo de una
transicin pueda deshabilitar otras transiciones retirando los testigos transicin pueda deshabilitar otras transiciones retirando los testigos
de las plazas de entrada compartidas. Exceptuando esta restriccin,
el disparo de las transiciones se desarrolla de una manera
asncrona.
Un marcado M
j
se dice que es inmediatamente alcanzable desde
un marcado M
i
si M
j
puede obtenerse disparando una transicin
habilitada por M
i
.
Un marcado M
k
se dice que es alcanzable desde un marcado M
i
si
Redes de Petri
Mercedes Granda
22
k
q
i
existe una secuencia de disparo de transiciones que transforma M
i
en M
k
.
El conjunto de alcanzabilidad, R(M), de una red de Petri marcada
es el conjunto de todos los marcados alcanzables desde M.
12
DISPARO Y CONJUNTO DE
ALCANZABILIDAD
p3
p4
t1
t2
t3
t5
p3
p4
t1
2
t3
t5
p4
t3
p1
p2
p3
p5
t1
t2
t5
t4
t3
t1
t2
t2
t5
p2 p5
t2
t4
p1
p3
p4
t1
t2
t3
t5
p3
p4
t1
t3
t5
p1
p2 p5
t2
t4 (1,0,0,0,0)
(0,0,1,0,1)
Redes de Petri
Mercedes Granda
23
t3
t4
p1
p2 p5
t2
t4
p1
p2 p5
t1
t2
t5
t4
(0,1,1,0,0)
(0,1,0,1,0)
(0,0,0,1,1)
p1 p2 p3 p4 p5
REDES DE PETRI: RBOL
DE ALCANZABILIDAD
El rbol de alcanzabilidad de un RdP representa el
conjunto de todos los marcados alcanzables desde el
d i i i l M marcado inicial M
0
.
Consiste en un grafo en forma de rbol en el que cada
nudo es un marcado alcanzable de la red y los nudos se
conectan mediante arcos etiquetados con la transicin
que se dispara para pasar de un marcado a otro.
Partiendo del estado inicial M
0
, se generan todos los
estados alcanzables desde ste mediante el disparo de
Redes de Petri
Mercedes Granda
24
estados alcanzables desde ste mediante el disparo de
una transicin. A partir de cada estado, se vuelve a
repetir el proceso, apareciendo, en consecuencia, un
grafo en forma de rbol con una estructura infinita.
13
OBTENCIN DEL RBOL DE
ALCANZABILIDAD: EJEMPLO 1
(1,0,0,0,0)
t1
(0,1,1,0,0)
(0,0,1,0,1) (0,1,0,1,0)
(0,0,0,1,1)
t1
t2
t3
(0,1,1,0,0) (0,0,0,1,1)
t3 t4 t2
t5
t4
Redes de Petri
Mercedes Granda
25
Red de Petri rbol de alcanzabilidad
(1,0,0,0,0) (0,1,0,1,0)
t5
t4
REDES DE PETRI: RBOL
DE ALCANZABILIDAD
Para representar esta estructura infinita con un rbol
finito, se deja de expandir el rbol cuando se alcanza un
marcado frontera (hojas del rbol) ste es el que verifica marcado frontera (hojas del rbol). ste es el que verifica
alguna de las siguientes condiciones:
a) Es un marcado muerto, esto es, un marcado en el que no hay
ninguna transicin habilitada.
b) Es un marcado que ya ha aparecido en el rbol de
alcanzabilidad, lo que se denomina nudo duplicado.
c) Es un marcado que slo se diferencia de otro presente en el
Redes de Petri
Mercedes Granda
26
rbol por tener un nmero distinto de testigos en alguna plaza y
que habilita el mismo conjunto de transiciones que el primero.
Estos marcados se representan con una w en la posicin
correspondiente a la plaza con distinto nmero de testigos.
As, el rbol de alcanzabilidad de cualquier RdP es finito.
14
t1
Redes de Petri
Mercedes Granda
27
t1
(1,0,0,0,0) (0,1,1,0,0)
p1 p2 p3 p4 p5
p3
p4
t1
t2
t3
t5
p3
p4
t1
t2
t3
t5
p4
t3
p1
p2
p3
p5
t1
t2
t5
t4
t3
t1
t2
t2
t5
p2 p5
t2
t4
p1
p3
p4
t1
t2
t3
t5
p3
p4
t1
t3
t5
p1
p2 p5
t2
t4
(1,0,0,0,0)
(0,0,1,0,1)
Redes de Petri
Mercedes Granda
28
t3
t4
p1
p2 p5
t2
t4
p1
p2 p5
t1
t2
t5
t4
(0,1,1,0,0)
(0,1,0,1,0)
(0,0,0,1,1)
15
(1,0,0,0,0)
t1
(0,1,1,0,0)
(0,0,1,0,1) (0,1,0,1,0)
(0,0,0,1,1)
t1
t2
t3
(0,1,1,0,0) (0,0,0,1,1)
t3 t4 t2
t5
t4
Redes de Petri
Mercedes Granda
29
Red de Petri rbol de alcanzabilidad
(1,0,0,0,0) (0,1,0,1,0)
t5
t4
Redes de Petri
Mercedes Granda
30
rbol de alcanzabilidad
infinito
rbol de alcanzabilidad
finito con la notacin w
16
RBOL DE ALCANZABILIDAD:
MQUINA DE TESTIGOS
La mquina de testigos (MT) es una modificacin de la tcnica del rbol
de alcanzabilidad que presenta una estructura grfica ms compacta.
En la MT se define el estado de una RdP marcada como la coleccin de los En la MT se define el estado de una RdP marcada como la coleccin de los
nombres de las plazas que contienen testigos. El nmero de veces que el
nombre de una plaza aparece en un estado es igual al nmero de testigos
que la plaza contiene en ese estado.
La MT es un grafo dirigido que est formado por todos los posibles estados
(con esta nueva notacin) en que puede estar una red de Petri dada y por
las posibles transiciones entre ellos. Los estados se encierran en valos y
se unen entre s mediante arcos dirigidos etiquetados con el nombre de la
transicin que se dispara para pasar de un estado a otro de los que
conecta el arco.
Redes de Petri
Mercedes Granda
31
La tcnica de la mquina de testigos es especialmente til para
representar el conjunto de estados de una red de Petri marcada que
contenga muchas plazas y muy pocos testigos en cada estado; mientras
que con la tcnica del rbol de alcanzabilidad habra que enumerar todas
las plazas de la red, con la tcnica de la mquina de testigos slo es
necesario indicar el nombre de una parte pequea de ellas.
RBOL DE ALCANZABILIDAD
Y MQUINA DE TESTIGOS
(1 0 0 0 0) (1,0,0,0,0)
(0,1,1,0,0)
(0,0,1,0,1)
(0,1,0,1,0)
(0,0,0,1,1)
t1
t2
t3
(0,1,1,0,0) (0,0,0,1,1)
t3
t4 t2
t5
t4
Redes de Petri
Mercedes Granda
32
rbol de
alcanzabilidad
(1,0,0,0,0) (0,1,0,1,0)
t5
t4
Mquina de
testigos
17
REDES DE PETRI:
REPRESENTACIN MATRICIAL
Una red de Petri con n plazas y m transiciones se
representa por dos matrices de incidencia de dimensin p p
mn que representan las conexiones entre los nudos de
la red:
La matriz de incidencia previa, C
-
:
C
-
(j,i)=I(p
i
, t
j
)
La matriz de incidencia posterior, C
+
:
Redes de Petri
Mercedes Granda
33
La matriz de incidencia posterior, C :
C
+
(j,i)=O(p
i
, t
j
)
Se define la matriz de incidencia, C, como C= C
+ -
C
-
.
REDES DE PETRI: EJEMPLO DE
p1 p2 p3 p4 p5
|
|
|
|
1 0 0 0 0
0 0 1 1 0
t1
t2
p1 p2 p3 p4 p5
|
|
|
|
0 0 0 1 0
0 0 0 0 1
t1
t2
|
|
|
|
|
.
\
=
+
0 0 0 0 1
0 0 0 1 0
0 1 0 0 0 C
t3
t4
t5 |
|
|
|
|
.
\
=
1 1 0 0 0
1 0 0 0 0
0 0 1 0 0
0 0 0 1 0
C
t3
t4
t5
Matriz de incidencia previa
p1 p2 p3 p4 p5
|
|
|
|
1 0 0 1 0
0 0 1 1 1 t1
t2
Matriz de incidencia posterior
Redes de Petri
Mercedes Granda
34
|
|
|
|
|
.
= =
+
1 1 0 0 1
1 0 0 1 0
0 1 1 0 0
1 0 0 1 0
C C C
t2
t3
t4
t5
Matriz de incidencia
18
REDES DE PETRI:
La definicin matricial de una red de Petri
RdP=(P T C
+
C
-
) es equivalente a la utilizada RdP=(P,T, C , C ) es equivalente a la utilizada
hasta ahora, pero permite redefinir los
conceptos en trminos vectoriales y matriciales.
Una transicin t
j
se define por un vector e
j
de
dimensin m (nmero de transiciones) de
Redes de Petri
Mercedes Granda
35
dimensin m (nmero de transiciones) de
componentes:
( )
=
=
=
j i si
j i si
i e
j
0
1
REDES DE PETRI:
Una transicin tj est habilitada en un marcado M si
M > e
j
C
-
El resultado del disparo de la transicin t
j
a partir del estado M, si est
habilitada, es:
M' = M + e
j
C
El resultado de aplicar una secuencia de disparo de transiciones =t
j1
t
j2
t
jk
se puede representar como:
(M, ) = (M,t
j1
t
j2
t
jk
) = M + e
j1
C + e
j2
C +...+ e
jk
C =
= M + (e
j1
+ e
j2
+...+ e
jk
) C = M +f( ) C
Redes de Petri
Mercedes Granda
36
(
j1 j2 jk
) ( )
El vector f()= e
j1
+ e
j2
+...+ e
jk
se denomina vector de disparo de la
secuencia t
j1
t
j2
t
jk
. La i-sima componente de f() es el nmero de veces
que la transicin t
i
se dispara en la secuencia t
j1
t
j2
t
jk
. El vector de disparo
es, por tanto, un vector de enteros no negativos.
19
REPRESENTACIN MATRICIAL:
( ) 0 0 0 0 1 M
Disparo de la transicin t1
( ) 0 0 0 0 1
0
= M
( ) 0 0 0 0 1
1
= e
0 0 0 0 1
|
|
|
La transicin t1 est habilitada:
Redes de Petri
Mercedes Granda
37
( ) ( ) 0 0 0 0 1
1 1 0 0 0
1 0 0 0 0
0 0 1 0 0
0 0 0 1 0
0 0 0 0 1
0 0 0 0 1
1 0
=
|
|
|
|
|
|
.
|
\
|
= - >

C e M
t1 t1
Redes de Petri
Mercedes Granda
38
( ) ( ) ( ) 0 0 1 1 0
1 1 0 0 1
1 0 0 1 0
0 1 1 0 0
1 0 0 1 0
0 0 1 1 1
0 0 0 0 1 0 0 0 0 1 =
|
|
|
|
|
|
.
|
\
|

+ =
M=M
0
+e
1
C=
20
Resultado de la secuencia de disparo t1, t2, t3:
f()=e
1
+e
2
+e
3
=(1 1 1 0 0)
(M, )=M
0
+ f()C
( ) ( ) ( ) 1 1 0 0 0 0 1 1 0 0
1 0 0 1 0
0 0 1 1 1
0 0 1 1 1 0 0 0 0 1 ) (
|
|
|
|
o M
Redes de Petri
Mercedes Granda
39
( ) ( ) ( ) 1 1 0 0 0
1 1 0 0 1
1 0 0 1 0
0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 ) , ( =
|
|
|
|
.
\

+ = o o M

Petri 1 PDF

Enviado por

Dados do documento

Título original

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

Petri 1 PDF

Enviado por

Direitos autorais:

Formatos disponíveis

1

REDES DE PETRI: DEFINICIN REDES DE PETRI: DEFINICIN,

Você também pode gostar