Professional Documents
Culture Documents
Redes de Petri 1
evento = transição
Redes de Petri 2
Representação gráfica através de grafos
com dois tipos de nós: lugares e transições
Exemplo:
t1 t2 t3
p1 p2 p3
t4 t5
Redes de Petri 3
Definição: Uma marcação de uma rede de
Petri é uma função x: P → Ν
Redes de Petri 4
Dinâmica das Redes de Petri
Redes de Petri 5
Exemplo:
p1 t1 dispara p1
t1 t1
p3 p3
t2 p2 t2 p2
p4 p4
t3 t3
xo = [2,0,0,1] x1 = [1,1,1,1]
t2 dispara ou t3 dispara
p1 p1
t1 t1
p3 p3
t2 p2 t2 p2
p4 p4
t3 t3
x’2 = [0,1,0,0] estado
x2 = [1,1,0,2]
terminal
Redes de Petri 6
Em geral, a dinâmica de uma RP pode
ser representada da seguinte forma:
Sejam:
x = [x(p1), x(p2), ..., x(pn)] : o atual estado;
x’ = [x’(p1), x’(p2), ..., x’(pn)] : o próximo
estado, após o disparo da j-ésima transição;
Então:
x’ = x + uA
Redes de Petri 7
No exemplo anterior:
−1 1 1 0
A = 0 0 −1 1
−1 0 −1 −1
[1 1 1 1] = [0 1 0].A = [1 1 0 2]
Redes de Petri 8
Modelos para uma fila:
A
a (chegada) a
Q I Q I
(inicio) s s
B B
(fim) c c
(partida) d
Redes de Petri 9
Modelo que considera quebras no servidor
A
a
Q I
s r (conserto)
B
b D
(quebra)
c
Redes de Petri 10
Problemas de Análise em RP
Redes de Petri 11
Conservação: Uma RP com um dado esta-
do inicial xo é dita ser conservativa em relação
a um vetor γ = [γ1, γ2, ...,γn] se:
n
∑γ
i =1
i x ( pi ) = const .
Redes de Petri 12
Vivacidade e bloqueio (deadlock):
São características opostas, de grande impor-
tância na análise de um sistema.
Uma RP com um dado estado inicial xo é
dita viva se, a partir de qualquer estado al-
cançado a partir de xo, existir alguma trajetó-
ria na qual uma transição qualquer possa dis-
parar.
Redes de Petri 13
Exemplo: Sistema de fila com retraballho
aA aR
I
Q Q
rf
cr cd
d
R D
r
Redes de Petri 14
Exemplo: Níveis de vivacidade
p1
t3
t1
p2
t2
t2 - morta
t1 - L1-viva
t3 - L3-viva mas não L4-viva, pois
pode tornar-se morta no estado re-
sultante de um disparo de t1.
Redes de Petri 15
Alcançabilidade: Um estado x numa RP
é dito alcançável a partir de um estado xo
se existir uma sequência de transições ini-
ciando-se em xo e tal que o estado pode se
tornar x.
Redes de Petri 16
Persistência: Uma RP é dita persistente se,
para cada duas transições habilitadas, o dis-
paro de uma delas não desabilita a outra.
Redes de Petri 17
Árvore de Coverabilidade
•Técnica de Análise
•Representação Finita
•Alguma perda de informação
Motivação: Exemplo
p1 p2 [1,1,0]
t1
[0,0,1]
p3
t2 [1,1,0]
Redes de Petri 18
Exemplo: Motivação
p1
t1
p2
t2
p3 t3 [1,0,0,0]
t1
p4
[0,1,1,0]
t2 t3
[1,0,1,0] [0,0,1,1]
t1
[0,1,2,0]
t3
t2
[1,0,2,0] [0,0,2,1]
Redes de Petri 19
Terminologia:
Redes de Petri 21
Exemplo: Árvore de coverabilidade da
Rede de Petri anterior:
[1,0,0,0]
t1
[0,1,1,0]
t2 t3
[1,0,1,0] [0,0,1,1]
t1
[1,0,0,0]
[0,1,2,0] t1
t3
t2
[0,1,1,0]
[1,0,2,0] [0,0,2,1]
t2 t3
[1,0,ω,0] [0,0,1,1]
t1
[0,1,ω,0]
t3
t2
[1,0,ω,0] [0,0,ω,1]
Redes de Petri 22
Exemplo: Sistema de Fila:
Q I
B
[0,1,0]
c a
[ω,1,0]
a s
[ω,1,0] [ω,0,1]
a c
[ω,0,1] [ω,1,0]
Redes de Petri 23
Aplicações da Árvore de Coverabilidade
Problemas de Limitação:
Redes de Petri 24
Problemas de Conservação:
∑γ
i =1
i x ( pi ) = const .
∑γ
i =1
i x ( pi ) = C
Redes de Petri 25
Exemplo: Sistema de Filas
[0,1,0]
a
[ω,1,0]
a s
[ω,1,0] [ω,0,1]
a c
[ω,0,1] [ω,1,0]
Redes de Petri 26
Problemas de Coverabilidade:
•impedimento de bloqueio;
•alcançabilidade de estados;
•reconhecimento de linguagens.
Alterntivas de Análise:
Redes de Petri 28
Exemplo: Impossibilidade de análise da
alcançabilidade de estados:
p1 p1
t1 t1
p2 p2
t2 t2
p3 p3
[1,0,0] [1,0,0]
t1 t1
[0,1,0] [0,1,0]
t2 t2
[1,0,ω] [1,0,ω]
t1 t1
[0,1,ω] [0,1,ω]
t2 t2
[1,0,ω] [1,0,ω]
ω = {1,2,3,...} ω = {2,4,6,...}
Redes de Petri 29
Comparação entre Geradores
e Redes de Petri
Não há “melhor” modelo; a escolha depen-
de do problema tratado e de preferências
pessoais. Contudo, alguma comparação é
possível.
Dado um gerador (E, X, f, xo) é possível cons-
truir uma rede de Petri (P, T, A, w, xo) da se-
guinte maneira:
P=X
T = {(x,x’): x ∈ X, x’ = f(x,e) onde f(x,e)!}
A = {(x,t): x ∈ X, t ∈ T e t = (x, x’)}
∪ {(t,x): x ∈ X, t ∈ T e t = (x’, x)}
w(a) = 1 para todo a ∈ A
Redes de Petri 30
Exemplo: Protocolo de Comunicação
r
t
a
I M T
a τ a
IM=a
TI=r
M MM=a
TM=τ MT=t
T TT=a
Redes de Petri 31
Observações:
•Este método não é único, podendo haver
outras RP’s que melhor representem o sis-
tema.
Redes de Petri 32
Redes de Petri 33