REDES DE PETRI MARCAO

Marcao
A marcao de uma RP a associao de um certo

nmero de tokens ou fichas para cada um dos lugares da rede.

A marcao muda com a execuo da rede

Token um conceito bsico, assim como lugar e

transio

Marcao: definio
Uma marcao m de uma RP C = (P,T,I,O) uma funo

de P nos inteiros no negativos, ou seja, m:P N.

Ou Uma marcao m de C = (P,T,I,O) um vetor m = (m1,m2,...,

mn) onde n = |P| e cada mi N. Uma RP marcada denotada M = (C,m) ou C = (P,T,I,O,m)

Grafo marcado
No grafo de uma RP, um token representado por um .

p2 t1 p1 t2 t4

p5

p4

m = (1,2,0,0,1)
p3

t3

Execuo de uma RP
A execuo de uma RP controlada pela marcao da

rede Os tokens controlam a execuo das transies As transies so disparadas, alterando a marcao da rede Uma transio deve estar habilitada para poder ser disparada Uma transio est habilitada se, em cada um dos seus lugares de entrada, existe pelo menos o mesmo nmero de tokens que arcos do lugar para a transio. Def: Uma transio tj em uma RP C = (P,T,I,O) com marcao m est habilitada se (p P) m(p) #(p,I(tj))

Transies Habilitadas

Execuo
O disparo de uma transio se d retirando tokens do lugar de entrada (1 token para cada arco) colocando tokens no lugar de sada (1 para cada arco) Def: Ao disparar uma transio t que esteja

habilitada, a partir de uma marcao m resulta numa marcao m definida como m(p) = m(p) - #(p,I(t)) + #(p,O(t))

Disparo de Transies

Exemplo de Execuo

Exemplo de Execuo

Disparando t4

Disparando t1

Disparando t3

Modelagem com RP
Lugares correspondem a variveis de estado Transies correspondem a eventos Uma marcao corresponde ao estado atual que a rede

assume Eventos s podem ocorrer se certas pr-condies so satisfeitas

tokens de habilitao

Aps um eventos, certas ps condies devem valer tokens de sada

Modelagem com RP

Modelagem com RP

Modelo de empacotamento de uma linha de produo: Cada pacote tem 3 porcas e 3 parafusos Um novo conjunto s pode ser empacotado se o pacote anterior j foi enviado ao depsito A manufatura de porcas e parafusos no vai ser modelada

Modelagem com RP
Produtor-consumidor Jantar dos filsofos Atividades paralelas

Excluso mtua
Comunicao (protocolos)

Referncia
CARDOSO, Janete e VALLETE Robert. Redes de Petri.

Florianpolis, Ed. da UFSC, 1997.

Notas de aula, prof. Marcio Delamaro

Dvidas