Redes de Petri 1° Exercício

Apresentação em tema: "Redes de Petri 1° Exercício"— Transcrição da apresentação:

1 Redes de Petri 1° 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 Petri 1° Exercício
Este modelo entra em Deadlock. Onde? Apresente sue modelo que evite esta situação. p0 t0 p1 t1 p2 t2 p3 t3 p4 t4 p5 t5 Proc1 p.printer.get printer q.scanner.get Proc 2 p6 p.printer.put p.scanner.get q.printer.get q.scanner.put scanner p7 p.scanner.put q.printer.put

3 Redes de Petri 1° Exercício
Uma solução p0 t0 p1 t1 p2 t2 p3 t3 p4 t4 p5 t5 Proc1 p.printer.get printer q.printer.get Proc 2 p.scanner.get p6 q.scanner.get scanner p7 p.scanner.put p.printer.put q.printer.put q.scanner.put

4 Redes de Petri 1° Exercício
Considerando o analizado no modelo anterior, o que você alteraria na Descrição FSP para evitar o deadlock? RESOURCE = (get->put->RESOURCE). P = (printer.get->scanner.get ->copy ->printer.put->scanner.put ->P). Q = (scanner.get->printer.get ->scanner.put->printer.put ->Q). ||SYS = (p:P||q:Q ||{p,q}::printer:RESOURCE ||{p,q}::scanner:RESOURCE ).

5 Redes de Petri 2° Exercício
Traduza a descrição FSP para redes de Petri MAKE_A = (makeA->ready->used->MAKE_A). MAKE_B = (makeB->ready->used->MAKE_B). ASSEMBLE = (ready->assemble->used->ASSEMBLE). ||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
1 2 3 4 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 Jantar dos Filósofos 3° Exercício - Solução começa pensar pensando pensando começa ter fome garfo 2 com fome com fome Filósofo 3 começa ter fome 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