A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Redes de Petri 1° Exercício n Modele dois processos concorrentes entre si. n Cada processo é cíclico e compostos por apenas três atividades. n Estes processos.

Apresentações semelhantes


Apresentação em tema: "Redes de Petri 1° Exercício n Modele dois processos concorrentes entre si. n Cada processo é cíclico e compostos por apenas três atividades. n Estes processos."— Transcrição da apresentação:

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

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

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

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

5 Redes de Petri 2° Exercício 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). Traduza a descrição FSP para redes de Petri

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

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

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 pensando com fome comendo começa comer começa comer começa comer começa pensar começa pensar começa pensar começa ter fome Filósofo 1 Filósofo 2 Filósofo 3 garfo 1 garfo 2 garfo 3


Carregar ppt "Redes de Petri 1° Exercício n Modele dois processos concorrentes entre si. n Cada processo é cíclico e compostos por apenas três atividades. n Estes processos."

Apresentações semelhantes


Anúncios Google