REDES DE PETRI

Uma introduo ao seu funcionamento

O QUE A REDE DE PETRI?

Rede de Petri uma tcnica de modelagem que permite a representao de sistemas,

utilizando como alicerce uma forte base matemtica. Essa tcnica possui a particularidade de
permitir modelar sistemas paralelos, concorrentes, assncronos e no-determinsticos.

REPRESENTAO

A representao grfica de uma rede de Petri bsica formada por dois componentes: um
ativo chamado de transio (barra) e outro passivo denominado lugar (crculo). Os lugares
equivalem s variveis de estado e as transies correspondem s aes realizadas pelo
sistema. Esses dois componentes so ligados entre si atravs de arcos dirigidos. Os arcos
podem ser nicos ou mltiplos.

DEFINIES

As redes de Petri podem ser enfocadas atravs de trs fundamentaes diferentes. A

primeira utiliza a teoria bag como suporte. A segunda usa os conceitos da lgebra matricial. A
ltima se fundamenta na estrutura definida por relaes. A seguir so apresentadas as
definies formais de cada uma dessas fundamentaes.

FUNDAMENTAES

Definio 1:

Uma rede de Petri R uma quntupla R = (P, T, I, O, K), onde P = {p1, p2,...,pn} um conjunto
finito no-vazio de lugares, T = {t1, t2,..., tm} um conjunto finito no-vazio de transies. I : T
P um conjunto de bags 1 que representa o mapeamento de transies para lugares de
entrada. O : T P um conjunto de bags que representa o mapeamento de transies para
lugares de sada. K : P N o conjunto da capacidades associadas a cada lugar, podendo
assumir um valor infinito.

RESUMINDO

Supe-se que se deseje representar um ano letivo de uma Universidade. O ano letivo
comea com o primeiro perodo (semestre) letivo, seguido das primeiras frias (de julho),
logo aps, tem-se o segundo perodo letivo, e finalmente as frias de final de ano.

REPRESENTAO GRAFICA
RETORNO

1PERIODO

1PERIODO

FRIAS

FRIAS

FRIAS 1

FRIAS 2

RETORNO

2PERIODO

2PERIODO

MOSTRANDO A DEFINIO 1

Rano letivo = ( P, T, I, O, K ), onde o conjunto de lugares P

P = {1Perodo, Frias1, 2Perodo, Frias2};

O conjunto de transies T

T = {Frias1, Retornar2 Perodo, Frias2, Retornar 1Perodo};

o conjunto de bags de entrada I

I = { I (Frias1) = [1Perodo], I (Retornar 2Perodo) = [Frias1], I (Frias2) = [2Perodo], I

(Retornar1Perodo) = [Frias2] }

O conjunto de bags de sada O

O = {O (Frias1) = [Frias1], O (Retornar 2Perodo) = [2Perodo], O (Frias2) = [Frias2], O

(Retornar 1Perodo) = [1Perodo] };

e o conjunto de capacidades dos lugares

K = { K1Perodo = 1, KFrias1 = 1, K2Perodo = 1, KFrias2 = 1}.

...

Definio 2

A estrutura de uma rede de Petri, segundo o ponto de vista matricial, uma quntupla R = (P,
T, I, O, K), onde P um conjunto finito de lugares. T um conjunto finito de transies, I : P x
T N a matriz de pr-condies. O : P x T N a matriz de ps-condies. K o vetor
das capacidades associados aos lugares (K :P N).

RESUMINDO

Tomando com base o exemplo anterior temos:

I=

O=

FRIAS 1

RETORNO 2

FRIAS 2

RETORNO 1

FRIAS 1

RETORNO 2

FRIAS 2

RETORNO 1

...

Definio 3

A estrutura de redes de Petri, usando-se relaes, formada por uma quntupla R = (P, T, A,
V, K), onde P o conjunto de lugares, T o de transies, A o conjunto dos arcos e V
corresponde ao conjunto de valoraes desses arcos. Os elementos de A so arcos que
conectam transies a lugares ou lugares a transies (A (P x T) (T x P)). Assim, os
elementos de A podem ser agrupados em dois subconjuntos - o conjunto das entradas s
transies e o de sada s transies, I = {(pi, tj)} e O = {(tj, pi)}, respectivamente.

RESUMINDO

Tomando o grfico do slide 7, temos:

O conjunto de arcos A

A = { (1Perodo, Frias1), (Frias, Frias1), (Frias1, Retornar 2Perodo), (Retornar

2Perodo, 2Perodo), (2Perodo, Frias), (Frias, Frias2), (Frias2, Retornar 1Perodo),
(Retornar 1Perodo, 1Perodo) }

O conjunto de valores dos arcos V

V = {1, 1, 1, 1, 1, 1, 1, 1}

REDES DE PETRI MARCADAS

Marcas (tokens) so informaes atribudas aos lugares, para representar a situao (estado)
da rede em um determinado momento. Define-se uma rede de Petri marcada pela dupla RM
= (R, Mo), onde R a estrutura da rede e Mo a marcao inicial. Assim, para simular o
comportamento dinmico dos sistemas, a marcao da rede de Petri modificada a cada
ao realizada (transio disparada). A figura 3 [MAC96] ilustra uma rede marcada.

EXEMPLO
P3

P1

t1
P2

t2

CLASSES DAS REDES DE PETRI

Podem-se agrupar as redes de Petri em duas grandes classes: as Ordinrias e NoOrdinrias (de Alto nvel) [MAC96]. As redes ordinrias se caracterizam pelo tipo de suas
marcas, ou seja, suas marcas so do tipo inteiro e no negativo, enquanto que as de alto
nvel possuem marcas de tipos particulares. As redes ordinrias se subdividem em:

Rede Binria: a rede mais elementar dentre todas. Essa rede s permite no mximo um
token em cada lugar, e todos os arcos possuem valor unitrio.

Rede Place-Transition: o tipo de rede que permite o acmulo de marcas no mesmo

lugar, assim como valores no unitrios para os arcos.

...

As redes de alto nvel so caracterizadas pelos tipos de suas marcas, que no so mais
elementos do tipo inteiro positivo. Esse tipo de rede permite a individualizao de uma marca
(pertencente a um grupo) em um mesmo lugar. Essa individualizao pode ser realizada
atravs de vrios artifcios, como por exemplo, cor da marca ou objetos representando os
tokens. Redes no-ordinrias no aumentam o poder de representao de um modelo.
Entretanto, elas permitem uma maior clareza e um maior (ou menor) nvel de abstrao ao
modelo.

REDES ELEMENTARES

Nesta seo, so apresentadas algumas redes que, a partir delas, derivam muitas outras
redes mais complexas. So discutidas as redes representativas de sequenciamento,
distribuio, juno, escolha no determinstica e atribuio.

SEQUENCIAMENTO

a rede que representa a execuo de uma ao, desde que uma determinada condio
seja satisfeita. Aps a execuo dessa ao, pode-se ter outra ao, desde que satisfeita
outra determinada condio.

DISTRIBUIO

a rede elementar utilizada na criao de processos paralelos a partir de um processo pai.

Os processos filhos so criados atravs da distribuio dos tokens encontrados no processo
(lugar) pai.

JUNO

a rede que modela a sincronizao entre atividades concorrentes. Noexemplo da figura 7, a

transio t1 s dispara quando existirem fichas tanto em P1, quanto em P2, estabelecendo,
assim, o sincronismo.

ESCOLHA NO-DETERMINSTICA

uma rede que ao se disparar uma transio, inabilita-se a outra. Entretanto, no existe
possibilidade de escolha (conforme figura 8). O fator no-determinstico dessa rede gera uma
situao chamada de conflito [MAC96]. O conflito pode ser classificado como estrutural ou
efetivo. Ambos os conflitos esto associados ao fato de duas transies possurem o mesmo
lugar como entrada. Porm, se a rede no possuir tokens, o conflito dito estrutural.
Contudo, se h uma nica marca no lugar comum s transies, diz-se que o conflito
efetivo. A figura 9 [MAC96] ilustra os dois tipos de conflito.

DUVIDAS?
OBRIGADO

REFERNCIA

www.dca.ufrn.br_~affonso_DCA0409_pdf_redes_de_petri