Sobre Las Redes de Petri

22/10/2012
1
REDES DE PETRI: PROPIEDADES Y REDES DE PETRI: PROPIEDADES Y
MTODOS DE ANLISIS
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:
PROPIEDADES
Las propiedades de las redes de Petri nos permiten
detectar fenmenos de inters o errores de detectar fenmenos de inters o errores de
funcionamiento en el sistema que modelan.
Vivacidad
Ciclicidad
Limitacin
Redes de Petri
Mercedes Granda
2
Conservacin
Conflictividad
Exclusin mutua
22/10/2012
2
PROPIEDADES DE LAS REDES
DE PETRI: VIVACIDAD
Una transicin t de una RdP marcada es viva si para cada marcado M
i
existe un marcado alcanzable desde M
i
en el cual t est habilitada.
Una RdP marcada es viva si cada una de sus transiciones es viva.
Una RdP es no viva para un marcado M
i
si, para algn marcado M
j
sucesor de M
i
, todas las transiciones son no vivas.
Redes de Petri
Mercedes Granda
3
RdP viva
RdP no viva
(se bloquea
totalmente)
DE PETRI: VIVACIDAD
Una RdP es parcialmente viva si
contiene si contiene transiciones
que siempre son vivas y otras que
no lo son.
En una RdP viva se garantiza una
operacin libre de puntos muertos
independientemente de la
secuencia de disparo elegida. La
propiedad de vivacidad es muy
Redes de Petri
Mercedes Granda
4
p p y
importante porque sirve para
caracterizar el bloqueo total o
parcial de un sistema.
RdP parcialmente viva
22/10/2012
3
DE PETRI: CICLICIDAD
Una RdP para un marcado inicial M
0
se
dice que posee un comportamiento q p p
globalmente cclico, si existe una
secuencia de disparos que permite
alcanzar el marcado inicial M
0
a partir de
cualquier marcado M
i
sucesor de M
0
.
La ciclicidad de una RdP para un
marcado M
0
garantiza la no existencia
de subconjuntos de estados finales; esto
Redes de Petri
Mercedes Granda
5
j
es, de conjuntos de estados a partir de
los cuales no son alcanzables algunos
otros estados sucesores de M
0
.
RdP cclica
DE PETRI: LIMITACIN
Una plaza p de una RdP marcada es k-limitada para un marcado M
0
si, para
cualquier marcado Mi sucesor de M
0
, el nmero de marcas en p es menor o igual
que k. Esto es, si y slo si existe un k fijo tal que M
i
(p) s k para todo marcado q y j q
i
(p) p
alcanzable desde M
0
.
Se denomina limite de la plaza p al menor entero k que verifica la desigualdad
anterior.
Una RdP marcada es k-limitada para un marcado M
0
si, para algn k fijo, cada
plaza es k-limitada.
Una plaza es segura si es 1-limitada.
Una RdP marcada es segura o binaria si cada una de sus plazas es segura.
Redes de Petri
Mercedes Granda
6
g p g
El inters de la k-limitacin de una red es que garantiza la finitud de sus marcados
alcanzables. Desde un punto de vista prctico, una red k-limitada puede
implementarse con un conjunto de recursos finitos.
22/10/2012
4
DE PETRI: LIMITACIN
Redes de Petri
Mercedes Granda
7
RdP 3-limitada RdP binaria RdP no limitada
LAS PROPIEDADES DE VIVACIDAD, CICLICIDAD Y
LIMITACIN SON INDEPENDIENTES
LVC
LVC LVC
LVC
LVC LVC
Redes de Petri
Mercedes Granda
8
LVC
LVC
22/10/2012
5
DE PETRI: CONSERVACIN
Una RdP con un marcado inicial M
0
se dice que es conservativa si,
para cualquier marcado M
i
alcanzable desde M
0
, el nmero total de
marcas en la RdP es el mismo; esto es si para todo marcado se verifica marcas en la RdP es el mismo; esto es, si para todo marcado se verifica
El concepto de conservacin est relacionado con el nmero de
recursos disponibles, que no puede variar durante la ejecucin de la red
de Petri La manera ms simple de conseguirlo es requerir que el

e e
=
P p
i
P p
i
i i
p M p M ) ( ) (
0
Redes de Petri
Mercedes Granda
9
de Petri. La manera ms simple de conseguirlo es requerir que el
nmero total de testigos en la red permanezca constante. Sin embargo,
la conservacin estricta es una relacin muy fuerte y normalmente
conviene hablar de conservacin con respecto a un vector peso.
DE PETRI: CONSERVACIN
Una RdP con un marcado inicial M
0
se dice que es conservativa respecto a
un vector peso w, w=(w
1
,w
2
,...,w
n
), w
i
>0, si para cualquier marcado M
alcanzable desde M
0
la suma del producto del nmero de marcas de cada alcanzable desde M
0
, la suma del producto del nmero de marcas de cada
lugar por el factor de peso correspondiente es constante; esto es, si para todo
marcado MeR(M
0
) se verifica:

= =
- = -
n
i
i i
n
i
i i
p M w p M w
1
0
1
) ( ) (
Redes de Petri
Mercedes Granda
10
RdP conservativa estricta RdP conservativa con peso
w=(1,1,1,2,2)
22/10/2012
6
DE PETRI: CONFLICTIVIDAD
Se dice que en una RdP existe un conflicto estructural cuando un lugar posee
ms de una transicin de salida.
S di d t i i t t t fli t f ti M i Se dice que dos transiciones t
i
y t
j
estn en conflicto efectivo para M
0
si:
Existe un marcado alcanzable desde M
0
que sensibiliza simultneamente a t
i
y t
j
.
Si al dispararse t
i
(t
j
) el marcado que se obtiene no habilita a t
j
(t
i
).
Redes de Petri
Mercedes Granda
11
RdP con conflicto estructural RdP con conflicto efectivo
DE PETRI: CONFLICTIVIDAD
En general, un conjunto de transiciones T
c
cT se dice que
estn en conflicto si el disparo de cualquier subconjunto de
t i i {t } T d lt d d l l transiciones {t
i
}cT
c
da como resultado un marcado en el cual
alguna transicin t
j
cT
c
se deshabilita.
Se dice que una red de Petri es persistente si no existe un
conjunto de transiciones que estn en conflicto para ningn
marcado M del conjunto de alcanzabilidad.
La situacin de conflicto efectivo es normalmente inaceptable
para cualquier descripcin de un sistema dado que
Redes de Petri
Mercedes Granda
12
para cualquier descripcin de un sistema, dado que
corresponde a una situacin ambigua. El conflicto efectivo se
resuelve mediante una interpretacin asociada a la red.
22/10/2012
7
DE PETRI: EXCLUSIN MUTUA
Un conjunto de transiciones T
e
cT se dice que son mutuamente exclusivas si el
disparo de cualquier transicin t
i
cT
e
genera un marcado en el cual todas las
dems transiciones t
j
cT
e
, i=j, se deshabilitan.
j e
j
Se dice que dos plazas de una red de Petri estn en exclusin mutua para un
marcado M
0
si no pueden estar marcadas simultneamente en los marcados
alcanzables a partir de M
0
.
Una aplicacin tpica de plazas con exclusin mutua es el modelado de recursos
compartidos por mltiples usuarios.
Las plazas 4 y 5 y las transiciones H
1
y H
2
t t l i
Redes de Petri
Mercedes Granda
13
son mutuamente exclusivas.
- R recurso disponible
- R
1
recurso tomado por H
1
- R
2
recurso tomado por H
2
REDES DE PETRI: SUBCLASES
Las redes de Petri, a pesar de basarse en unas reglas bastante simples, pueden exhibir
comportamientos muy complicados. Como consecuencia, se han introducido clases
restringidas de redes de Petri, que son ms fciles de analizar, y se han estudiado sus
propiedades propiedades.
El objetivo que se persigue al definir una subclase de red de Petri es que pueda modelar una
gran variedad de sistemas y que, al menos para los problemas de inters, se puedan utilizar
procedimientos de anlisis simples.
Las principales subclases de redes de Petri ordinarias son:
Grafos de estados (GE) o mquinas de estados (ME) son RdP en las que cada transicin ha de tener
exactamente una entrada y una salida. Una mquina de estados es estrictamente conservativa, muy sencilla de
analizar, puede representar conflictos o alternativas, pero no paralelismo, concurrencia ni sincronizacin.
Grafo marcado (GM) o grafo de sincronizacin es una RdP en la que cada plaza tiene exactamente una
entrada y una salida. Los grafos marcados pueden representar paralelismo, concurrencia y sincronizacin, pero no
conflicto o decisiones dependientes de datos
Redes de Petri
Mercedes Granda
14
conflicto o decisiones dependientes de datos.
Red de libre eleccin (RLE) es aquella en la que cada plaza p es o bien la nica plaza de entrada de una
transicin o hay como mucho una transicin que tiene p como una plaza de entrada. Esta subclase permite el
modelado de concurrencia y conflicto, pero de una manera ms restringida que en el modelo general. En una RLE,
siempre que un lugar est marcado y posea ms de una transicin de salida, es posible elegir libremente
(independientemente del resto del marcado) la transicin que se disparar.
Red de Petri simple (RS) es aquella en la que cada transicin tiene como mximo una plaza de entrada
compartida con otra transicin.
22/10/2012
8
SUBCLASES DE REDES DE PETRI
ORDINARIAS
Redes de Petri
Mercedes Granda
15
REDES DE PETRI:
MTODOS DE ANLISIS
Las redes de Petri tienen una gran potencia de modelado pero, adems, es
necesario analizar el sistema modelado para obtener datos sobre su
comportamiento. Analizando el rbol de alcanzabilidad, es posible detectar los p p
problemas de control que pueden presentarse durante la operacin del sistema
modelado, tales como los siguientes:
Bloqueos del sistema.
Existencia de partes del sistema que nunca entran en funcionamiento.
Existencia de plazas no seguras.
Existencia de estados absorbentes
Existencia de ciclos sin fin.
Finitud del espacio de estados.
Ausencia de conflictos
Verificacin de especificaciones
Redes de Petri
Mercedes Granda
16
p

Las principales tcnicas de anlisis de RdP son:
Las basadas en el rbol de alcanzabilidad
Las basadas en las ecuaciones matriciales o de estado.
22/10/2012
9
ANLISIS A PARTIR DEL RBOL
DE ALCANZABILIDAD
El mtodo ms general para analizar el conjunto de los
marcados alcanzables en una RdP desde un marcado inicial
M t i b l d l bilid d t l M
0
es construir su rbol de alcanzabilidad, que representa el
conjunto de alcanzabilidad, R(M), de la red.
De la definicin de rbol de alcanzabilidad, se puede
establecer que:
Una plaza p
i
es limitada si y slo si el rbol de alcanzabilidad no
contiene ningn marcado con m
i
=w.
U d d P t i li it d i l b l d l bilid d
Redes de Petri
Mercedes Granda
17
Una red de Petri es limitada si en el rbol de alcanzabilidad no
aparece ninguna w.
Una red de Petri es segura o binaria si en los marcados del rbol de
alcanzabilidad slo aparecen 0 y 1.
ANLISIS A PARTIR DEL RBOL DE
ALCANZABILIDAD: EJEMPLO 1
Redes de Petri
Mercedes Granda
18
rbol de alcanzabilidad de una
red de Petri limitada
22/10/2012
10
ALCANZABILIDAD
Verificar si una RP es conservativa es fcil:
1) Si existe alguna w, la red de Petri slo puede ser
conservativa si el peso correspondiente a la plaza
en que aparece w es 0.
2) Si no existe ninguna w, el sistema tiene un
nmero finito de estados y la conservacin se
Redes de Petri
Mercedes Granda
19
nmero finito de estados y la conservacin se
puede verificar directamente sobre el rbol de
alcanzabilidad.
ALCANZABILIDAD
La presencia de las w supone una prdida de
informacin y en algunas situaciones presenta informacin y, en algunas situaciones, presenta
problemas:
1) Si hay w, no siempre est bien definida la
secuencia de disparos que permite alcanzar un
marcado presente en el rbol.
Redes de Petri
Mercedes Granda
20
2) Con la presencia de w, es difcil deducir la
existencia de estados muertos (ver ejemplo 4).
22/10/2012
11
(a)
(b)
Redes de Petri
Mercedes Granda
21
Ambas RdP tienen el mismo rbol de alcanzabilidad. Sin embargo, la (a) tiene
estados muertos (por ejemplo, tras la secuencia t1-t2-t3), mientras que la (b) es una
RP viva.
( )
RED DE PETRI CON BLOQUEO
Marcado
Redes de Petri
Mercedes Granda
22
Marcado
muerto
22/10/2012
12
ALCANZABILIDAD
Analizando el rbol de alcanzabilidad se puede obtener una
informacin detallada del comportamiento del sistema p
modelado.
El anlisis del rbol de alcanzabilidad se puede utilizar para
determinar si la red de Petri es una representacin vlida del
sistema modelado, para verificar la correccin de un diseo,
para elegir la mejor entre varias propuestas o para predecir el
comportamiento del sistema.
Redes de Petri
Mercedes Granda
23
La principal desventaja es que el rbol de alcanzabilidad
puede hacerse complejo, grande e inmanejable.
ANLISIS MATRICIAL DE UNA RED
DE PETRI
Una red de Petri con n plazas y m transiciones se representa por dos matrices de
incidencia de dimensin 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
+
:
C
+
(j,i)=O(p
i
, t
j
)
Se define la matriz de incidencia, C, como C= C
+ -
C
-
.
Redes de Petri
Mercedes Granda
24
Una transicin t
j
se define por un vector e
j
de dimensin m (nmero de transiciones)
de componentes:
( )
=
=
=
j i si
j i si
i e
j
0
1
22/10/2012
13
DE PETRI
La teora matricial proporciona herramientas para analizar las propiedades y el comportamiento
dinmico de las redes de Petri. Consideremos los siguientes casos:
1) Una transicin tj est habilitada en un marcado M si 1) Una transicin tj est habilitada en un marcado M si
M > e
j
C
-
2) El resultado del disparo de la transicin t
j
a partir del estado M, si est habilitada, es:
M' = M + e
j
C
3) Para demostrar si una red de Petri es conservativa o no, es necesario encontrar un
vector peso w (no nulo) para el cual la suma con peso de todos los marcados
alcanzables sea constante. El vector w es la solucin de la ecuacin:
0 C
Redes de Petri
Mercedes Granda
25
La existencia de un vector w que sea solucin de esta ecuacin proporciona una prueba
simple para saber si la red es conservativa y, adems, da como resultado el vector peso
w.
0 w C =
DE PETRI
4) El problema de alcanzabilidad se resuelve tambin de manera sencilla.
El resultado de aplicar una secuencia de disparo de transiciones =t
j1
t
j2
t
jk
se puede
j j j
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
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.
Por tanto, si M' es un marcado alcanzable desde M, es porque existe una secuencia de
disparo de transiciones o que conduce de M a M'. Esto significa que debe existir una
solucin y=f( ) de componentes enteras no nulas para x en la ecuacin matricial
Redes de Petri
Mercedes Granda
26
solucin y=f(o) de componentes enteras no nulas para x en la ecuacin matricial
M' = M + y
.
C
Si existe esta solucin para y, M' es alcanzable desde M. En caso contrario, no lo
es.
22/10/2012
14
DE PETRI: EJEMPLO
|
|
| 0 1 1 1
|
|
| 0 0 0 1
|
|
| 0 1 1 0
Redes de Petri
Mercedes Granda
27
Matriz de incidencia posterior Matriz de incidencia previa Matriz de incidencia
|
|
|
.
\
=
0 1 0 0
1 0 0 0 C
|
|
|
.
\
=
+
1 0 0 0
0 1 2 0 C
|
|
|
.
\

=
1 1 0 0
1 1 2 0 C
DE PETRI: EJEMPLO
Con un marcado inicial M = (1 0 1 0), la transicin t
3
esta habilitada puesto
que se verifica M > e
j
C
-
j
El disparo de la transicin t
3
da lugar a un marcado M= M + e
j
C
( ) ( ) ( ) 0 1 0 0
0 1 0 0
1 0 0 0
0 1 1 1
1 0 0 0 1 0 1 =
|
|
|
.
|
\
|
>
Redes de Petri
Mercedes Granda
28
( ) ( ) ( ) 1 0 0 1
1 1 0 0
1 1 2 0
0 1 1 0
1 0 0 0 1 0 1 ' M =
|
|
|
.
|
\
|

+ =
22/10/2012
15
DE PETRI: EJEMPLO
La secuencia de disparo o=t3-t2-t3-t2-t1 se representa por el vector de
disparo f(o)=(1 2 2) y genera, a partir del estado inicial, el marcado
M=M +f( ) C M=M +f( ) C
Para determinar si el estado (1 8 0 1) es alcanzable desde el estado inicial
(1 0 1 0), se resuelve la ecuacin M=M +f( ) C
( ) ( ) ( ) 0 0 3 1
1 1 0 0
1 1 2 0
0 1 1 0
2 2 1 0 1 0 1 ' M =
|
|
|
.
|
\
|

+ =
0 1 1 0
|
|
|
Redes de Petri
Mercedes Granda
29
que corresponde a la secuencia o=t3-t2-t3-t2-t3-t2-t3-t2-t3.
( ) ( ) ( ) 5 4 0 y
1 1 0 0
1 1 2 0
0 1 1 0
y 0 1 0 1 1 0 8 1 =
|
|
|
.
|
\
|
+ =
DE PETRI: EJEMPLO
Se puede demostrar tambin que el marcado
(1 7 0 1) l bl d d l d (1 7 0 1) no es alcanzable desde el marcado
(1 0 1 0), puesto que la ecuacin matricial
M=M +f( ) C no tiene solucin.
0 1 1 0 | |
Redes de Petri
Mercedes Granda
30
( ) ( )
SOLUCIN
TIENE NO
1 1 0 0
1 1 2 0
0 1 1 0
y 0 1 0 1 1 0 7 1
|
|
|
.
|
\
|

+ =
22/10/2012
16
DE PETRI
El anlisis de las redes de Petri mediante tcnicas matriciales es muy
prometedor, pero presenta tambin severos problemas. Veamos algunos de
ellos: ellos:
La matriz C, por s sola, no refleja totalmente la estructura de la red. Por
ejemplo, las transiciones que tienen arcos de entrada y de salida hacia una misma
plaza (autobucles), se representan en la misma posicin en las matrices C
+
y C
-
y
se cancelan en la matriz C. Esto ocurre en el ejemplo previo con t
1
y p
1
.
El vector de disparo no da informacin sobre el orden en que se lleva a
cabo el disparo de las transiciones. Slo informa de qu transiciones se
disparan y cuntas veces. Adems, el que exista solucin para la ecuacin
M=M +f( ) C es una condicin necesaria pero no suficiente para que el
Redes de Petri
Mercedes Granda
31
M=M +f( ) C es una condicin necesaria, pero no suficiente, para que el
marcado sea alcanzable; puede ocurrir que la solucin encontrada no se
corresponda con ninguna secuencia de disparos permitida.

Sobre Las Redes de Petri

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sobre Las Redes de Petri

Cargado por

Copyright:

Formatos disponibles

22/10/2012

También podría gustarte