1

REDES DE PETRI TIPOS DE INTERAO

Tipos de Interaes
Vamos tentar mostrar alguns tipos de interaes que

podem ocorrer entre processos de um sistema

Seqncia
Processo de fabricao. Cada fase de usinagem (montagem, etc) representada

por um lugar
A passagem de uma fase para outra representada por

uma transio
Token corresponde presena de um item em uma das

fases

Seqncia

Seqncia
Sistema de metro Lugares descrevem as sees

Transies representam a passagem de uma

seo a outra
Tokens

representam a existncia de um veculo na seo

Evoluo sncrona
O exemplo antererior mostrou que cada um dos tokens

(peas ou veculos) podem progradir na rede independentemente um do outro

Existem casos em que tarefas devem ser executadas de

maneira sincronizada
Diviso e juno

Diviso ou separao

A execuo de t2 corresponde criao, de modo

sncrono, de duas peas em p2 e p3.

Aps sua criao, a manufatura continua de modo

assncrono

Juno

Artigos evoluem assincronamente t3 representa a montagem de uma pea

A pea em p5 criada de modo sncrono

p2 e p4 representam lugares de espera

Caminhos alternativos
Casos em que e execuo continua por um caminho

escolhido entre diversas alternativas

Como um trem de metro que sai de uma seo e tem

duas possveis rotas a serem seguidas

Ou uma pea que possui duas possveis linhas de

montagem

10

Caminhos alternativos

t2 e t3 esto habilitadas mas s uma disparada em p6 no existe tambm sincronizao

a estrutura da rede no descreve o mecanismo para

tomar a deciso

11

Repetio
Uma atividade repetida enquanto uma condio for

verdadeira
Por exemplo, um veculo deve percorrer um trecho de

itinerrio diversas vezes at que tenha que recolher ou fazer alguma manuteno

12

Repetio

No h informao sobre qual o mecanismo de

deciso

13

Repetio

14

Alocao de recursos
A

alocao de recursos um dos pontos mais importantes na modelagem de um sistema

Um rob que pode levar uma pea do depsito para uma

mquina e da mquina para a sada.

Uma vez alocado o recurso, no pode estar disponvel

para outra utilizao

15

Alocao de recursos
Um rob retira pea de um depsito e as leva para

uma linha de montagem

Terminada uma montagem, ele retira a pea da linha e

coloca num outro depsito

16

Alocao de recursos
t2 representa o final de p1
p2 necessrio para representar a espera pelo rob

t3: retirar objeto do depsito 1 p3: levar objeto produo t4: colocar objeto na produo
t5: retirar objeto da produo p5: levar objeto ao depsito 2 t6: colocar objeto no depsito

17

Alocao de recursos

18

Jantar dos filsofos

19

Jantar dos 4 filsofos

20

Produtor Consumidor

21

Produtor consumidor (2)

22

Reader writer

23

Protocolo
1 transmissor e dois receptores o transmissor envia uma mensagem

um dos receptores recebe a mensagem

escolha no determinstica quem recebeu manda reconhecimento

depois de receber reconhecimento, transmissor pode enviar

outra

24

Protocolo

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

Florianpolis, Ed. da UFSC, 1997.

Notas de aula, prof. Marcio Delamaro

Dvidas