Redes de Petri

Automao Prof. Rmulo Augusto

O que so Redes de Petri?

Ferramenta grfica e matemtica utilizada para modelar e simular sistemas baseados em eventos discretos. Sistemas discretos so sistemas onde as transies, ou seja, as etapas do sistema, ocorrem em instantes precisos no tempo, diferente de sistemas onde as transies ocorre continuamente.

Aplicaes das Redes de Petri

De maneira genrica, elas podem auxiliar em situaes onde ocorrem concorrncia, controle, conflitos, sincronizao e compartilhamentos. Na Automao
As redes de Petri so largamente utilizadas, j que a grande maioria dos sistemas automticos so baseados em sistemas discretos Sistemas de Manufatura Controle de Mquinas e Equipamentos Controle de Robs

Na computao:
especificam as operaes em ambientes de multiprogramao ou multiprocessamento. Aplicadas na avaliao do comportamento e do desempenho de um sistema computacional.

Aplicaes em Sistemas Produtivos

Permitem a modelagem e simulao do fluxo de entidades (partes, peas, etc.) pelo sistema produtivo. So utilizados em sistemas Just In Time (JIT) controlados por KANBAN

Histrico
A metodologia de modelagem de Sistemas a Eventos Discretos (SED) utilizando RdP foi proposta em 1962 por Carl Petri. Ele criou asse mtodo de estudo durante o doutorado para a comunicao com autmatos. As primeiras aplicaes de RdP aconteceram em 1968, no projeto norteamericano Information System Theory, da A.D.R. (Applied Data Research, Inc.). Este trabalho ressaltou como RdP poderiam ser aplicadas na anlise e na modelagem de sistemas com componentes concorrentes.

Histrico
No incio da dcada de 70, o trabalho de Petri chamou a ateno de membros do Projeto MAC, do MIT (Massachusetts Institute of Technology). Ainda na dcada de setenta, surgiram trs tipos de RdP capazes de modelar caractersticas temporais determinsticas, quais sejam, as RdP temporizadas de Ramchandani , de Merlin e de Sifakis. Em meados da dcada de oitenta surgiram tambm extenses de RdP estocsticas.

Redes de Petri - RdP

Conceitos bsicos:
a) elementos de uma RdP: - Lugares ou Places: representam uma condio, uma atividade ou um recurso; - Marcas ou tokens: representam o estado de um sistema; - Transies: representam um evento; - Arcos: indicam os lugares de entrada ou sada para as transies.

Exemplo Simples
Evoluo direta de eventos

e1

e2

e3

Redes de Petri - RdP

Conceitos bsicos:
b) formalmente: RdP = (P, T, AE, AS), onde: P=(P1;P2; ... ;Pm) um conjunto de places; T=(T1;T2; ... ; Tn) um conjuntode transies; PT= AE: P x T o conjunto de arcos de entrada nas transies; AS: T x P o conjunto de arcos de sada das transies.

Redes de Petri - RdP

Conceitos bsicos:
c) para a RdP mostrada:

Redes de Petri - RdP

Conceitos bsicos:
d) tokens: indicam o estado do sistema antes e depois da ocorrncia de um evento. RdP = (P, T, AE, AS, M), onde: M : PN M0 : PN0 , marcao inicial

M0 = (1,0,1,0,2)

Estruturas Comuns
Sequencia

e1

e2

e3

Simultneos

e2 e1

e3

e4

e5

Estruturas Comuns
Resoluo de Conflitos

e1

e2

e3

e4

Estruturas Comuns
Sincronizao

e1

Estruturas Comuns
Sincronizao e simultaneidade

e1

Estruturas Comuns
Sincronizao e Concorrncia

e1

Exemplo: Mquina de Venda Automtica

A mquina vende dois tipos de produtos, que custam 20 e 15 centavos S podemos utilizar moedas de 10 e 5 centavos A mquina no devolve o troco.

Fluxograma da Mquina
Retira producto 15c

5 cents

Deposita 10c

15 cents

0 cent

10 cents

Deposita 10c

20 cents

Retira producto 20c

Modelagem em Rede de Petri

Retira prod.15c

Dep. 10c

5c
Dep. 5c Dep. 5c

15c

0c

Dep. 5c

Dep. 5c

Dep. 10c

10c
Retira prod. 20c

20c
Dep. 10c

Casos de depsito possveis

Caso 1:
Deposita 5c, deposita 5c, deposita 5c, deposita 5c, compra produto de 20c.

Caso 2:
Deposita 10c, deposita 5c, compra produto de 15c.

Caso 3:
Deposita 5c, deposita 10c, deposita 5c, compra produto de 20c.

Evolues da Mquina
Compra 15c

Dep. 10c

5c
Dep. 5c Dep. 5c

15c

0c

Dep. 5c

Dep. 5c

Dep. 10c

10c
Compra 20c

20c
Dep. 10c

Redes de Petri - RdP

Conceitos bsicos:
e) pesos associados s transies:

Figura a: antes: M=(1,1,0) depois: M=(0,0,2)

Figura b: antes: M=(1,1,0) depois: M=(0,0,1)

Redes de Petri - RdP

Conceitos bsicos:
l) analogia com fluxograma: