Modelagem de Precedência com Redes de Petri Coloridas (CPN)

Modelagem de Precedência com Redes de Petri Coloridas (CPN)#

Aula prática usando o CPN IDE#

Este notebook apresenta passo a passo a construção de um modelo de controle de precedência de atividades utilizando Redes de Petri Coloridas (CPN) no CPN IDE.

O objetivo é garantir que:

  • As atividades A e B podem ser executadas de forma independente.

  • A atividade C só pode ser executada após a conclusão de A e B.

1. Criando o projeto#

Abra o CPN IDE e crie um novo projeto (File > New Project). Nomeie como “ConstrucaoCivil”.

2. Declarando os tipos#

Na aba Declarations, insira:

colset ATIV = with INICIO | A | B | C;

Esse tipo será usado para representar as atividades do fluxo de trabalho.

3. Criando a estrutura da rede#

A rede deve conter os seguintes lugares e transições:

Lugares#

  • INICIO: lugar inicial com token INICIO.

  • A_PREC_OK, B_PREC_OK

  • A_IN, B_IN

  • A_EXEC, B_EXEC

  • A_FIN, B_FIN

  • A_OK, B_OK

  • C_PREC_OK

  • C_IN, C_EXEC, C_FIN, C_OK

Transições#

  • INICIAR

  • IN_C (inicia C se A e B estiverem concluídas)

5. Simulação passo a passo#

  1. Clique em Start simulation

  2. Dispare INICIAR

  3. Execute os fluxos de A e B

  4. Quando ambos estiverem concluídos, IN_C será habilitada

  5. Complete a atividade C

Conclusão#

O modelo demonstra como representar restrições de precedência com CPN.

Você pode expandir para outros fluxos complexos (por exemplo, D após C, ou E após A e D).

Repositório com o modelo no GitHub

Contents