1 / 8

Redes de Petri 1 ° Exercício

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.

jayden
Download Presentation

Redes de Petri 1 ° Exercício

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Redes de Petri1° 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 Petri1° 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. N1 N2 Redes de Petri1° Exercício

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

  5. Redes de Petri2° 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 Petri2° Exercício - Solução MakeA MakeB Assemble makeA ready makeB used assemble

  7. 3 2 2 1 3 4 1 4 0 0 Jantar dos Filósofos3° 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. começa pensar começa pensar Jantar dos Filósofos3° Exercício - Solução 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

More Related