Redes de Petri 1

1
Redes de Petri1 Exercício

• Modele dois processos concorrentes entre si.
• Cada processo é cíclico e compostos por apenas
  três atividades.
• Estes processos compartilham entre si dois
  recursos printer, scanner
• Um modelo em redes de Petri para este problema é
  apresentado no próximo slide.

2
Redes de Petri1 Exercício

• Este modelo entra em Deadlock. Onde?
• Apresente sue modelo que evite esta
  situação.

p3 t3 p4 t4 p5 t5
p0 t0 p1 t1 p2 t2
Proc1?
printer
p.printer.get
q.scanner.get
?Proc 2
p6
q.printer.get q.scanner.put
p.printer.put p.scanner.get
scanner
p7
p.scanner.put
q.printer.put
3
Redes de Petri1 Exercício

• Uma solução

p3 t3 p4 t4 p5 t5
p0 t0 p1 t1 p2 t2
Proc1?
p.printer.get
q.printer.get
printer
?Proc 2
p6
p.scanner.get
q.scanner.get
scanner
p7
q.printer.put q.scanner.put
p.scanner.put p.printer.put
4
Redes de Petri1 Exercício
Considerando o analizado no modelo anterior, o
que você alteraria na Descrição FSP para evitar o
deadlock?
RESOURCE (get-gtput-gtRESOURCE). P
(printer.get-gtscanner.get -gtcopy
-gtprinter.put-gtscanner.put -gtP). Q
(scanner.get-gtprinter.get -gtcopy
-gtscanner.put-gtprinter.put -gtQ). SYS
(pPqQ p,qprinterRESOURCE
p,qscannerRESOURCE ).
5
Redes de Petri 2 Exercício
Traduza a descrição FSP para redes de Petri
MAKE_A (makeA-gtready-gtused-gtMAKE_A). MAKE_B
(makeB-gtready-gtused-gtMAKE_B). ASSEMBLE
(ready-gtassemble-gtused-gtASSEMBLE). FACTORY
(MAKE_A MAKE_B ASSEMBLE).
6
Redes de Petri 2 Exercício - Solução
MakeA MakeB
Assemble

makeA ready used
makeB ready used
ready assemble used
7
Redes de Petri 2 Exercício - Solução
MakeA MakeB
Assemble

makeA ready
makeB used
assemble
8
Jantar dos Filósofos 3 Exercício

• Cinco filósofos estão sentados em torno de uma
  mesa. Cada filósofo passa o tempo pensando, tendo
  fome e comendo. No centro da mesa há um prato de
  spaghetti. Cada filósofo precisa de dois garfos
  para comer e só podem utilizar os garfos
  imediatamente a sua direita e a sua esquerda.
• Um garfo é colocado entre cada par de filósofo.
• Para facilitar, gere a rede de Petri para apenas
  três filósofos.
• Esta rede não deve entrar em bloqueio e deve
  possibilitar que todos os filósofos tenham a
  oportunidade de comer.

9
Jantar dos Filósofos 3 Exercício - Solução
começa pensar
começa pensar
pensando
pensando
começa ter fome
garfo 2
com fome
com fome
começa ter fome
Filósofo 3

começa comer
começa comer
comendo
comendo
Filósofo 2
comendo
começa comer
garfo 3
com fome
garfo 1
começa ter fome
pensando
começa pensar
Filósofo 1