1.

Diagrama

2. Matriz I (Pr Condies)

LM - 5 min centrfuga

LM - 20 min lavagem

LP - 5 min enxgue 1

LP - 5 min enxgue 2

LP - 5 min centrfuga

LP - 30 min Lavagem

LL - 5 min centrfuga

LL - 15 min Lavagem

LP - 20 min lavagem

LL - 10 min enxgue

LM - 30 min molho

LP - 30 min Molho

LP - 20 min molho

LL - 10 min molho

LM - 20 enxgue

Iniciar LM

Iniciar LP

Reiniciar

Iniciar LL

1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0

0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0

0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0

0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0

0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0

0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0

0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0

0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0

0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1

Incio LP - La va gem Pes a da Ini ci a da LP - Mol ho 1 encerra do LP - La va gem 1 Encerra da LP - Enx gue 1 encerra do LP - Mol ho 2 encerra do LP - La va gem 2 encerra da LP - Enx gue 2 encerra do LM - La va gem Mdi a i ni ci a da LM - Mol ho encerra do LM - La va gem encerra da LM - Enx gue encerra do LL - La va gem Leve Ini ci a da LL - Mol ho encerra do LL - La va gem encerra da LL - Enx gue encerra do Centrfuga encerrada

3. Matriz 0 (Ps Condies)

LM - 5 min centrfuga

LM - 20 min lavagem

LP - 5 min enxgue 1

LP - 5 min enxgue 2

LP - 5 min centrfuga

LP - 30 min Lavagem

LL - 5 min centrfuga

LL - 15 min Lavagem

LP - 20 min lavagem

LL - 10 min enxgue

LM - 30 min molho

LP - 30 min Molho

LP - 20 min molho

LL - 10 min molho

LM - 20 enxgue

Iniciar LM

Iniciar LP

Reiniciar

Iniciar LL

0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0

0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0

0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0

0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0

0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1

0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0

0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0

0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1

0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1

1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Incio LP - La va gem Pes a da Ini ci a da LP - Mol ho 1 encerra do LP - La va gem 1 Encerra da LP - Enx gue 1 encerra do LP - Mol ho 2 encerra do LP - La va gem 2 encerra da LP - Enx gue 2 encerra do LM - La va gem Mdi a i ni ci a da LM - Mol ho encerra do LM - La va gem encerra da LM - Enx gue encerra do LL - La va gem Leve Ini ci a da LL - Mol ho encerra do LL - La va gem encerra da LL - Enx gue encerra do Centrfuga encerrada

4. Conjunto de Arcos A 1 A= { (Incio,Iniciar LP );(Iniciar LP ,LP - Lavagem Pesada Iniciada);(LP - Lavagem Pesada Iniciada,LP - 30 min Molho );(LP - 30 min Molho ,LP Molho 1 encerrado);(LP - Molho 1 encerrado,LP - 30 min Lavagem );(LP - 30 min Lavagem ,LP - Lavagem 1 Encerrada);(LP - Lavagem 1 Encerrada,LP - 5 min enxge 1 );(LP - 5 min enxge 1 ,LP - Enxgue 1 encerrado);(LP - Enxgue 1 encerrado,LP - 20 min molho );(LP - 20 min molho ,LP - Molho 2 encerrado);(LP - Molho 2 encerrado,LP - 20 min lavagem );(LP - 20 min lavagem ,LP Lavagem 2 encerrada);(LP - Lavagem 2 encerrada,LP - 5 min enxge 2 );(LP - 5 min enxge 2 ,LP - Enxgue 2 encerrado);(LP - Enxgue 2 encerrado,LP - 5 min centrfuga );(LP - 5 min centrfuga ,Centrfuga encerrada);(Centrfuga encerrada,Reiniciar );(Reiniciar ,Incio) } Conjunto de Valores do Arco { 1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1} Ou { (Incio,Iniciar LP );(Iniciar LP ,LP - Lavagem Pesada Iniciada);(LP - Lavagem Pesada Iniciada,LP - 30 min Molho );(LP - 30 min Molho ,LP - Molho encerrado);(LP - Molho encerrado,LP - 30 min Lavagem );(LP - 30 min Lavagem ,LP - Lavagem Encerrada);(LP - Lavagem Encerrada,LP - 5 min enxgue );(LP - 5 min enxgue ,LP - Enxgue encerrado);(LP - Enxgue encerrado,LP - 20 min molho );(LP - 20 min molho ,LP - Molho encerrado);(LP - Molho encerrado,LP - 20 min lavagem );(LP - 20 min lavagem ,LP Lavagem encerrada);(LP - Lavagem encerrada,LP - 5 min enxgue );(LP - 5 min enxgue ,LP - Enxgue encerrado);(LP - Enxgue encerrado,LP - 5 min centrfuga );(LP - 5 min centrfuga ,Centrfuga encerrada);(Centrfuga encerrada,Reiniciar );(Reiniciar ,Incio) } Conjunto de Valores do Arco { 1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1 } Ou { (LL - Lavagem Leve Iniciada,LL - 10 min molho );(LL - 10 min molho ,LL - Molho encerrado);(LL Molho encerrado,LL - 15 min Lavagem );(LL - 15 min Lavagem ,LL - Lavagem encerrada);(LL - Lavagem encerrada,LL - 10 min enxgue );(LL - 10 min enxgue ,LL - Enxgue encerrado);(LL - Enxgue encerrado,LL - 5 min centrfuga );(LL - 5 min centrfuga ,Centrfuga encerrada);(Centrfuga encerrada,Reiniciar );(Reiniciar ,Incio) } Conjunto de Valores do Arco { 1;1;1;1;1;1;1;1;1;1 }

No h uma notao formal para redes de Petri Elementares que trata de situaes de escolhas nodeterminsticas, que ocorrem quando h uma bifurcao e de um estado pode-se passar para mais de uma transio. Por isso, cada conjunto de arco foi separado por Ou, representando que so os possveis caminhos que podem ser seguidos.
4