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. n Um modelo em redes de Petri para este problema é apresentado no próximo slide.

2 Redes de Petri 1° Exercício n Para as redes mostradas no proximo slide analisem as seguintes propriedades: –Boundedness –Deadlock freedom –Liveness –Reversibilidade –Conservação Como os modelos são de pequenas dimensões, sugiro o seguinte:Como os modelos são de pequenas dimensões, sugiro o seguinte: 1. Inicialmente, de maneira informal (simulação exaustiva), vocês devem analisar a existência das propriedades. 2. Após isto, utilizando a ferramenta INA, vocês devem fazer a análise formal de maneira automática. 3. Comparem ambos os resultados.

3 Redes de Petri 1° Exercício n N1 n N2

4 Redes de Petri 1° Exercício n N3 n N4 p0 p1 t0 t1 t3 p2 p3 t2 p0 p2 t0 p3 t2 p1 t1t3 t4

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). Para a rede de Petri obtida para o modelo FSP se- guinte e mostrada no proximo slide, analise as mes- mas propriedades do 1ºexercício.

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

7 Jantar dos Filósofos 3° Exercício Analise as propriedades referidas no 1º Exercício para a rede de Petri dos filósofos. A rede é mostrada no slide seguinte

8 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