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.
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.
Redes de Petri 1° Exercício N1 N2
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
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).
Redes de Petri 2° Exercício - Solução MakeA MakeB Assemble makeA ready makeB used assemble
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.
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