REDES DE PETRI

INTRODUO
Histrico
Foi inventada em 1939

A teoria inicial de Redes de Petri foi proposta em 1962
como tese de doutorado de Carl Adam Petri (02/1926-
02/2010).

Comunicao com Autmatos

Base da teoria de comunicao entre componentes
assncronos em um sistema de computao
Histrico
A. W. Holt desenvolveu muito da notao
Information System Theory Project

MIT - Grupo de Estrutura da Computao (1970-
1975)

Conferncia 1975 MIT

Workshop 1977 Paris

Curso: Teoria Geral das Redes de Processos de
Sistemas - Hamburgo 1979

Definies: Estrutura de R.P.
Existem diversas abordagens diferentes para se definir a
estrutura de Redes de Petri.
Atravs de matrizes
Atravs de relaes
Atravs da Teoria bag

Estrutura de RP pela Teoria Bag
Bag (multi-conjunto)
Conjunto com repetio de elementos
{1,1,2,3,3,4} = {1,2,3,4}

Def: Uma RP uma qudrupla C = (P,T,I,O) onde
P = {p1,p2,...,pn} um conjunto finito de lugares
T = {t1,t2,...,tm} um conjunto finito de transies (P T = C)
I:T P

a funo de entrada. I mapeia transies para bags de

lugares
O:T P

a funo de sada. O mapeia transies para bags de

lugares


Estrutura de RP pela Teoria Bag
Def: Uma RP uma quntupla C = (P,T,I,O,K) onde
P = {p1,p2,...,pn} um conjunto finito de lugares
T = {t1,t2,...,tm} um conjunto finito de transies (P T
= C)
I:T P

a funo de entrada. I mapeia transies

para bags de lugares de entrada
O:T P

a funo de sada. O mapeia transies

para bags de lugares de sada
K:P N {e} o conjunto de capacidades associadas
a cada estado
Estrutura de RP pela Teoria Bag
p
i
um lugar de entrada de t
j
se p
i
e I(t
j
)
p
i
um lugar de sada de t
j
se p
i
e O(t
j
)
Sadas e entradas de t
j
so bags de lugares
A multiplicidade de um lugar de sada p
i
para
uma transio t
j
#(p
i
,O(t
j
)) o numero de
ocorrncias de p
i
em O(t
j
)
Idem para entrada

Grafo de RP
O grafo de uma RP d uma representao grfica da
estrutura
Dois tipos de ns
Crculos representam lugares
Barras representam transies
Arcos direcionados
lugar p
i
para transio t
j
: p
i
e I(t
j
)
transio t
j
para lugar p
i
: p
i
e O(t
j
)
Mltiplos arcos representam a multiplicidade dos lugares
t1
t2
t3
t4
Exemplo
C = (P,T,I,O)
P = {p1,p2,p3,p4,p5}
T = {t1,t2,t3,t4}
I(t1) = {p1}
I(t2) = {p2,p3,p5}
I(t3) = {p3}
I(t4) = {p4}
O(t1) = {p2,p3,p5}
O(t2) = {p5}
O(t3) = {p4}
O(t4) = {p2,p3}
p1
p2
p3
p4
p5
Exemplo
p1
p2
p3
p4
p5
p6
t1
t2
t3
t4
t5
P = {p1,p2,...,p6}
T = {t1,t2,t3,t4,t5}
I(t1) = {p1}
I(t2} = {p3}
I(t3) = {p2,p3}
I(t4) = {p4,p5,p5,p5}
I(t5) = {p2}
O(t1) = {p2,p3}
O(t2) = {p3,p5,p5}
O(t3) = {p2,p4}
O(t4) = {p4}
O(t5) = {p6}
Exemplo
p1
p2
p3
p4
p5
p6
p7
p8
p9
t6
t5
t4
t3
t2
t1
Exemplo
C = (P,T,I,O)
P = {p1,p2,p3,p4,p5,p6,p7,p8,p9}
T = {t1,t2,t3,t4,t5,t6}
I(t1) = {p1,p3} O(t1) = {p2}
I(t2) = {p8} O(t2) = {p1,p7}
I(t3) = {p2,p5} O(t3) = {p6}
I(t4) = {p3} O(t4) = {p4}
I(t5) = {p6,p7} O(t5) = {p9}
I(t6) = {p4,p9} O(t6) = {p5,p8}
p1
p2
p3
p4
p5
p6
p7
p8
p9
t6
t5
t4
t3
t2
t1
Estrutura atravs de Matrizes
Def: Uma RP uma quntupla (qudrupla) C = (P,T,I,O,K)
onde
P = {p1,p2,...,pn} um conjunto finito de lugares
T = {t1,t2,...,tm} um conjunto finito de transies (P T
= C)
I:PxT N a matriz de pr condies
O:PxT N a matriz de ps condies
K:P N {e} o vetor das capacidades associadas a
cada estado

Estrutura atravs de Matrizes
As matrizes I e O possuem uma coluna para
cada transio e uma linha para cada lugar da
rede
O valor I
pi,tj
diferente de 0 indica que pi uma
pr-condio de tj
O valor O
pi,tj
diferente de 0 indica que pi uma
ps-condio de tj
Os valores de I
pi,tj
e O
pi,tj
correspondem a
#(pi,I(tj)) e #(pi,O(tj)) respectivamente

Exemplo
C = (P,T,I,O)
P = {p1,p2,p3,p4,p5}
T = {t1,t2,t3,t4}
I(t1) = {p1}
I(t2) = {p2,p3,p5}
I(t3) = {p3}
I(t4) = {p4}
O(t1) = {p2,p3,p5}
O(t2) = {p5}
O(t3) = {p4}
O(t4) = {p2,p3}
5
4
3
2
1
4 3 2 1
0 0 1 0
1 0 0 0
0 1 1 0
0 0 1 0
0 0 0 1
p
p
p
p
p
t t t t
I =
5
4
3
2
1
4 3 2 1
0 0 1 1
0 1 0 0
1 0 0 1
1 0 0 1
0 0 0 0
p
p
p
p
p
t t t t
O =
Exerccios
Calcule as matrizes I e O para os outros dois exemplos
vistos anteriormente

Defina I e O como funes I:P T

. Diga como
achar I e O a partir de I e O

Defina as matrizes I e Ocomo TxP N. Diga
como obter I e O a partir de I e O
Exerccios
Ache o grafo e a estrutura de:
3
2
1
4 3 2 1
1 1 0 0
0 0 3 0
0 0 1 1
p
p
p
t t t t
I =
3
2
1
4 3 2 1
0 0 2 0
0 0 0 2
0 1 0 1
p
p
p
t t t t
O =
4
3
2
1
5 4 3 2 1
1 0 0 0 0
0 1 0 1 0
0 0 1 0 0
0 0 0 0 1
p
p
p
p
t t t t t
I =
4
3
2
1
5 4 3 2 1
0 1 0 0 0
0 1 0 0 1
0 0 0 1 0
0 0 1 0 0
p
p
p
p
t t t t t
O =
Exerccios
Quando existem diversos arcos entre dois ns do grafo de
uma RP mais fcil represent-los atravs de um nico
arco com um valor associado a ele. Esse nmero
representa o nmero de arcos entre esses ns. Desenhe o
grafo de:
C = (P,T,I,O)
P = {p1,p2,p3,p4}
T = {t1,t2,t3,t4}
I(t1) = {} I(t2) = {p2}
I(t3) = {p1,p1,p1,p1,p1,p1} I(t4) = {p3,p4,p4,p2}
O(t1) = {p1,p1,p1,p1,p2} O(t2) = {p1,p1,p1,p1,p1,p1,p3}
O(t3) = {p2,p2,p2,p2,p4,p4} O(t4} = {}
Exerccio (soluo)
Este tipo de grafo chamado de grafo valorado
t1
p1
p2
4
t2
6
p3
6
t3
2
p4
t4
2
4
Referncia
CARDOSO, Janete e VALLETE Robert. Redes de Petri.
Florianpolis, Ed. da UFSC, 1997.

Notas de aula, prof. Marcio Delamaro
Dvidas