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

2 Redes de Petri 1° Exercício
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: Inicialmente, de maneira informal (simulação exaustiva), vocês devem analisar a existência das propriedades. Após isto, utilizando a ferramenta INA, vocês devem fazer a análise formal de maneira automática. Comparem ambos os resultados.

3 Redes de Petri 1° Exercício
N1 N2

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

5 Redes de Petri 2° Exercício
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. 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 makeB used assemble

7 Jantar dos Filósofos 3° Exercício
1 2 3 4 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
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