Redes de Petri 1° Exercício - ppt carregar
PublicouAndré Almeda Alterado mais de 3 anos atrás
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.
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.
N4 N3 p0 p0 t4 t0 t0 p3 t2 p2 p3 p1 p1 t2 t1 t3 t3 p2 t1
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).
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.