Modelaje

Definción

Una red de Petri, es un grafo bipartito con nodos de dos tipos:

sitios y transiciones. Sólo puede haber arcos de sitios a transiciones
y de transiciones a sitios. No puede haber transiciones entre sitios
ni entre transiciones.
Definción Formal

N = (P, T , In, Out)

Nodos: P: Conjunto finito de siios
T: Conjunto finito de transiciones
Arcos: Arcos de sitios a trnasiciones Una función que dada
una transición, da sus predescesores

In : T → P(P)

Arcos de transicones a sitiosn Una función que dada

una transición, da sus sucesores

Out : T → P(P)
Ejemplo

N = (P, T , In, Out)

P = {1, 2, 3, 4, 5, 6}
T = {a, b, c, d, e, f }

In(a) = {1} Out(a) = {4}

In(b) = {1} Out(b) = {3}
In(c) = {5} Out(c) = {1}
In(d) = {2, 3} Out(d) = {5, 6}
In(e) = {2, 4} Out(e) = {5, 6}
In(f ) = {6} Out(f ) = {2}
Marcaciones: Red Booleana

Sea P = {p1 , ..pn } el conjunto de loslugares de una red de petri.

Una marcación es una n-tupla µ = (µp1 , µp2 , ..., µpn )
Donde cada µpi es un Booleano.
Si µpi = true, indica que hay un token en el sitio pi .
Una red de Petri marcada, serı́a entonces:

((P, T , I , O), µ)
Marcaciones: Red Booleana

Sea P = {p1 , ..pn } el conjunto de loslugares de una red de petri.

Una marcación es un subconjuto de P”: µ ∈ P(P)
Donde pi ∈ µ ssi pi está marcado.
Una red de Petri marcada, serı́a entonces:

((P, T , I , O), µ)
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
I Una transición t es disparable si
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
I Una transición t es disparable si ???
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
I Una transición t es disparable si In(t) ⊆ µ
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
I Una transición t es disparable si In(t) ⊆ µ
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
I Una transición t es disparable si In(t) ⊆ µ
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 =
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
I Una transición t es disparable si In(t) ⊆ µ
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 =???
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
I Una transición t es disparable si In(t) ⊆ µ
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 =(µ1 \ In(t)) ∪ Out(t)
Funcionamiento:

Dada una red de petri marcada, se puede disparar una transición.

Esto causa un cambio en la marcación.
I Una transición t es disparable si In(t) ⊆ µ
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 =(µ1 \ In(t)) ∪ Out(t)
Funcionamiento:
Dada una red de petri marcada, se pueden transiciones en forma
simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K
Funcionamiento:
Dada una red de petri marcada, se pueden transiciones en forma
simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

I Una subconjunto de transiciones K es disparable si

Funcionamiento:

Dada una red de petri marcada, se pueden transiciones en forma

simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

I Una subconjunto de transiciones K es disparable si ???

Funcionamiento:
Dada una red de petri marcada, se pueden transiciones en forma
simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

I Una subconjunto de transiciones K es disparable si

(∀ t | t ∈ K : In(t) ⊆ µ )∧(∀ t, s | t, s ∈ K : In(t)∩In(s) = ∅ )

Funcionamiento:
Dada una red de petri marcada, se pueden transiciones en forma
simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

I Una subconjunto de transiciones K es disparable si

(∀ t | t ∈ K : In(t) ⊆ µ )∧(∀ t, s | t, s ∈ K : In(t)∩In(s) = ∅ )

t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
Funcionamiento:
Dada una red de petri marcada, se pueden transiciones en forma
simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

I Una subconjunto de transiciones K es disparable si

(∀ t | t ∈ K : In(t) ⊆ µ )∧(∀ t, s | t, s ∈ K : In(t)∩In(s) = ∅ )

t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 =
Funcionamiento:
Dada una red de petri marcada, se pueden transiciones en forma
simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

I Una subconjunto de transiciones K es disparable si

(∀ t | t ∈ K : In(t) ⊆ µ )∧(∀ t, s | t, s ∈ K : In(t)∩In(s) = ∅ )

t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 =???
Funcionamiento:
Dada una red de petri marcada, se pueden transiciones en forma
simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

I Una subconjunto de transiciones K es disparable si

(∀ t | t ∈ K : In(t) ⊆ µ )∧(∀ t, s | t, s ∈ K : In(t)∩In(s) = ∅ )

t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 =(µ1 \ INs(K )) ∪ OUTs(K )
Funcionamiento:
Dada una red de petri marcada, se pueden transiciones en forma
simultanea siempre y cuando no haya conflictos.
Dado un subconjunto K de Transiciones, definimos:
[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

I Una subconjunto de transiciones K es disparable si

(∀ t | t ∈ K : In(t) ⊆ µ )∧(∀ t, s | t, s ∈ K : In(t)∩In(s) = ∅ )

t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 =(µ1 \ INs(K )) ∪ OUTs(K )
Marcaciones: Red Entera (Natural)

Sea P = {p1 , ..pn } el conjunto de loslugares de una red de petri.

Una marcación es una n-tupla µ = (µp1 , µp2 , ..., µpn )
Donde cada µpi es un Natural.
Si µpi = X , indica que hay X tokens en el sitio pi .
Una red de Petri marcada, serı́a entonces:

((P, T , I , O), µ)
Marcaciones: Red Natural

Sea P = {p1 , ..pn } el conjunto de los lugares de una red de petri.

Una marcación es un una función de sitios en naturales. de
µ:P→N
Donde µ(pi ) = X ssi pi tiene X tokens.
Una red de Petri marcada, serı́a entonces:

((P, T , I , O), µ)
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si ???
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) > 0 )
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) > 0 )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) > 0 )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) > 0 )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 = ???
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) > 0 )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 = Cómo definir µ2 a a partir de t y de µ1
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) > 0 )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 = Cómo definir µ2 a a partir de t y de µ1
Disparar una transición, t de una marcación µ1
Suponiendo que la transición es aplicable: (∀ p : P | p ∈ In(t) : µ(p) > 0 )



µ1 (p) si (p 6∈ In(t)) ∧ (p 6∈ Out(t))






µ1 (p) si (p ∈ In(t)) ∧ (p ∈ Out(t))



µ2 (p) =

µ1 (p) + 1 si (p ∈
6 In(t)) ∧ (p ∈ Out(t))









µ1 (p) − 1 si (p ∈ In(t)) ∧ (p 6∈ Out(t))

Agregando Capacidades (de los nodos), Peso (de los arcos)

N = (P, T , In, Out)

Nodos: P: Conjunto finito de siios
T: Conjunto finito de transiciones
Arcos: Arcos de sitios a trnasiciones Una función que dada
una transición, da sus predescesores

In : T → P(P)

Arcos de transicones a sitios Una función que dada

una transición, da sus sucesores

Out : T → P(P)

Capacidad: Cap : P → N
Peso: W : (P × T ) ∪ (T × P) → N
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si ???
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) ≥ W (p, t) ) ∧ (∀ p : P | p ∈
Out(t) : µ(p) + W (t, p) ≤ Cap(p) )
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) ≥ W (p, t) ) ∧ (∀ p : P | p ∈
Out(t) : µ(p) + W (t, p) ≤ Cap(p) )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) ≥ W (p, t) ) ∧ (∀ p : P | p ∈
Out(t) : µ(p) + W (t, p) ≤ Cap(p) )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) ≥ W (p, t) ) ∧ (∀ p : P | p ∈
Out(t) : µ(p) + W (t, p) ≤ Cap(p) )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 = ???
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) ≥ W (p, t) ) ∧ (∀ p : P | p ∈
Out(t) : µ(p) + W (t, p) ≤ Cap(p) )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 = Cómo definir µ2 a a partir de t y de µ1
Funcionamiento: Red Natural

Dada una red de petri marcada, se pueden disparar transiciones

que cambiarı́an la marcación.
I Una transición t es disparable si
(∀ p : P | p ∈ In(t) : µ(p) ≥ W (p, t) ) ∧ (∀ p : P | p ∈
Out(t) : µ(p) + W (t, p) ≤ Cap(p) )
t
I Al aplicar una transición se cambia la marcación µ1 →
− µ2
I µ2 = Cómo definir µ2 a a partir de t y de µ1
Disparar una transición, t de una marcación µ1
Suponiendo que la transición es aplicable



µ1 (p) si (p 6∈ In(t)) ∧ (p 6∈ Out(t))






µ1 (p) − W (p, t) + W (t, p) si (p ∈ In(t)) ∧ (p ∈ Out(t))



µ2 (p) =

µ1 (p) + W (t, p) si (p 6∈ In(t)) ∧ (p ∈ Out(t))










µ1 (p) − W (p, t) si (p ∈ In(t)) ∧ (p 6∈ Out(t))

Se podrı́an disparar transiciones al tiempo?

Dado un subconjunto K de Transiciones, definimos:

[
Ins(K ) = In(t)
t∈K
[
Outs(K ) = Out(t)
t∈K

K es disparable si ocurren las siguientes dos condiciones:

(∀ p | p ∈ Ins(K ) : µ(p) ≥ (Σ t | t ∈ K , p ∈ In(t) : W (p, t) ) )

(∀ p | p ∈ Outs(K ) : µ(p)+(Σ t | t ∈ K , p ∈ Out(t) : W (t, p) ) ≤ Cap(p) )

Disparar un conjunto de transiciones K sobre una
marcación µ1
Suponiendo las transiciones en K se pueden aplicarse simultaneamente

Primero definimos WW (p, K ) y WW (K , p)

WW (p, K ) = (Σ t | t ∈ K : W (t, p) )

WW (K , p) = (Σ t | t ∈ K : W (p, W ) )


µ1 (p)
 si (p ∈
6 Ins(K )) ∧ (p 6∈ Outs(K ))





µ1 (p) − WW (p, K ) + WW (K , p) si (p ∈ Ins(t)) ∧ (p ∈ Outs(t))



µ2 (p) =

µ1 (p) + WW (K , p) si (p 6∈ Ins(t)) ∧ (p ∈ Outs(t))









µ1 (p) − WW (p, K ) si (p ∈ Ins(t)) ∧ (p 6∈ Outs(t))
