Вы находитесь на странице: 1из 27

CONCEPTOS DE REDES DE PETRI

Mariela Muoz Aasco

Definicin de la Red de Petri


Herramienta matemtica y grfica para modelado, anlisis y control de sistemas a eventos discretos (SED). Y permite describir los siguientes sistemas:
concurrentes asncronos distribuidos No determinsticos

Caractersticas de la Red de Petri


Representa la dinmica (nivel detallado) Posee semntica formal Representa caractersticas de los SED Formalismo grfico que facilita la comunicacin Incorpora conceptos de modelado: Refinamiento (top down) Composicin modular (bottom up) Uso de tcnicas: modularizacin, reutilizacin, refinamiento

Elementos de la Red de Petri


Lugares: Los lugares representan entidades del mundo real interpretados como entes pasivos, por ejemplo: condiciones, recursos o instancias de recursos, variables, colas de espera, ... Transiciones: representan entidades del mundo real interpretados como entes activos, por ejemplo: eventos, acciones, sentencias, transmisin de mensajes, Ficha: Es un indicador de que la condicin asociada a un lugar se cumple. Puede ser un objeto (recurso o pieza), o una estructura de datos que se manipula.

Elementos de la Red de Petri


Arcos direccionados: indican precedencia/ causalidad/ movimiento Pesos de arcos: representan cantidades fijas asociadas a condiciones
El disparo de una transicin implica dos pasos:

Comportamiento Dinmico
El disparo de la transicin t corresponde a la ocurrencia del evento e en el sistema real, que hace pasar al sistema de un estado actual Ei a un prximo estado Ei+1.
Un estado Ei se representa en la red por la distribucin de fichas en los lugares, llamada marcacin Mi. Del mismo modo que estando en el estado Ei, solo se puede llegar a un estado Ei+1 cuando ocurre el evento e, as tambin la transicin t solo puede dispararse en una marcacin Mi (marcacin en la cual los lugares de entrada de t estn marcados). Luego del disparo t se obtendr una marcacin Mi+1.

La desaparicin de fichas de los lugares de entrada de t y el surgimiento de fichas en los lugares de salida de t representan el comportamiento dinmico del sistema

Clases de Redes de Petri

Redes de Petri Autnomas


Red de Petri Simple:
Para cada transicin, a lo sumo uno de sus lugares de entrada puede ser compartido con otras transiciones.

Correcto

Incorrecto

Redes de Petri Autnomas


Red de Petri Pura:
Una red se dice pura si ninguna transicin hace parte del conjunto de elementos de entrada y salida de un mismo lugar en la red:

Correcto

Incorrecto

Redes de Petri Autnomas


Red de Petri Libre Eleccin:
Una red de Petri es de libre eleccin si todos los lugares tienen como conjunto de salida ms de una transicin, pero este conjunto de transiciones solo debe tener un conjunto de entrada unitario.

Correcto

Incorrecto

Redes de Petri Autnomas


Grafo de Estados: Es una red de Petri ordinaria tal
que cada transicin t tiene exactamente un lugar de entrada y un lugar de salida, es decir:

Correcto

Incorrecto

Redes de Petri Autnomas


Grafo Marcado:
Es una red de Petri ordinaria tal que cada lugar p tiene exactamente una transicin de entrada y una transicin de salida.

Correcto

Incorrecto

Redes de Petri Autnomas


Red de Petri T-Restrictivas:
Son aquellas para las cuales todas las transiciones deben tener al menos un lugar de entrada y un lugar de salida.

Correcto

Incorrecto

Redes de Petri Autnomas


Red de Petri Ordinaria:
Se dice que una PN es ordinaria si los pesos de todos sus arcos son 0 1.

t1

t2

p2 p3

t3

t4

Definiciones bsicas
Sea N=(P,T,F) una Red de Petri Ordinaria, una funcin M: P N se llama un marcado de N, entonces (P,T,F,M) se llama una Red de Petri Ordinaria Marcada.
Marca

Definiciones bsicas
Sea N=(P,T,F,M) una Red de Petri Ordinaria Marcada, una transicin t T se dice que est permitida bajo el marcado M, lo que se denota M[t, si para todo lugar p P tal que (p,t) F se verifica M(p)>0. El disparo de una transicin permitida bajo M da como resultado un nuevo marcado de la red, M, definido de la forma: M(p) = M(p) Wf (p,t) + Wf (t,p) p P Siendo Wf (x)=1 si x F y Wf (x)=0 si x F para todo x(PT) (TP). Lo que se denota de la forma M[t M.

Ejemplo de Evolucin de una PN Marcada


P1 T1

P2

T2 T6 P3 P4

T3

T4

P5

P6

T5

P7

Ejemplo de Evolucin de una PN Marcada


P1 T1

P2

T2 T6 P3 P4

T3

T4

P5

P6

T5

P7

Ejemplo de Evolucin de una PN Marcada


P1 T1

P2

T2 T6 P3 P4

T3

T4

P5

P6

T5

P7

Ejemplo de Evolucin de una PN Marcada


P1 T1

P2

T2 T6 P3 P4

T3

T4

P5

P6

T5

P7

Ejemplo de Evolucin de una PN Marcada


P1 T1

P2

T2 T6 P3 P4

T3

T4

P5

P6

T5

P7

Ejemplo de Evolucin de una PN Marcada


P1 T1

P2

T2 T6 P3 P4

T3

T4

P5

P6

T5

P7

Redes de Petri Generalizadas


Una red de Petri generalizada es una tupla N=(P,T,F,K,W), donde:
(P,T,F) es una red de Petri Ordinaria. K : P N {} es una funcin que indica el nmero mximo de tokens que puede haber en cada lugar (funcin de capacidad). W : F N+ es una funcin que indica la multiplicidad de cada arco (peso de los arcos).

Regla de disparo para Redes de Petri Generalizadas


Sea N=(P,T,F,K,W) una red de Petri generalizada.
1. 2.

Una funcin M : P N se dice que es un marcado de N si y slo si M(p)K(p) para todo p P Un multiconjunto de transiciones R est permitido bajo un marcado M si y slo si se cumplen para todo p P las condiciones:
a) M ( p)

W ( p, t ) .R(t )
tT

b) M ( p )

(W ( p, t ) W (t, p)).R(t ) K ( p)
tT

Regla de disparo para Redes de Petri Generalizadas


El disparo de R resulta en un nuevo marcado M, dado por:
M ' ( p) = M ( p)

(W ( p, t ) W (t, p)) .R(t )


tT

p P

Lo que se denota por M[RM.

Ejemplo de Evolucin de una PN generalizada


P1 P2

T1 2

P3

Ejemplo de Evolucin de una PN generalizada


P1 P2

T1 2

P3