Simulação Usando Rede de Petri Software PIPE

Transcrição

1 LSA Laboratório de Sistemas de Automação Simulação Usando Rede de Petri Software PIPE PMR Modelagem e Análise de Sistemas de Automação Escola Politécnica da Universidade de São Paulo Departamento de Engenharia Mecatrônica e de Sistemas Mecânicos Av. Prof. Mello Moraes, São Paulo - SP - Brasil

2 Elementos da Rede de Petri Marca Transição (Temporizada) Arco Transição (imediata) Lugar Arco Inibidor

3 Rede de Petri e as características dos SEDs Paralelismo Sincronização Conflito Sequência Compartilhamento de recurso Recurso

4 Dinâmica da Rede de Petri

5 Dinâmica da Rede de Petri

6 Dinâmica da Rede de Petri

7 Dinâmica da Rede de Petri

8 Dinâmica da Rede de Petri

9 Dinâmica da Rede de Petri

10 Dinâmica da Rede de Petri

11 Dinâmica da Rede de Petri

12 Dinâmica da Rede de Petri

13 Dinâmica da Rede de Petri Temporizada

14 Formalização Matemática Representação Matricial Matriz de Incidência Marcação inicial Vetor de disparo C Lugares P1 P2 P3 P4 Transições T1 T2 T3 T4 T5 T6 P2 P1 P3 P4 T1 T2 T3 T4 T5 T M S Lugares P1 P2 P3 P4 Trans. T1 T2 T3 T4 T5 T6

15 Aplicação: Sistema Máquina- Ferramenta e Robô

16 Aplicação: Sistema Máquina- Ferramenta e Robô

17 Aplicação: Sistema Máquina- Ferramenta e Robô

18 Aplicação: Sistema Máquina- Ferramenta e Robô

19 Aplicação: Sistema Máquina- Ferramenta e Robô

20 Aplicação: Sistema Máquina- Ferramenta e Robô

21 Aplicação: Sistema Máquina- Ferramenta e Robô

22 Aplicação: Sistema Máquina- Ferramenta e Robô

23 Aplicação: Sistema Máquina- Ferramenta, Robô e Operador

24 PIPE2: Software de Simulação de Redes de Petri Barra principal Barra de edição Janela de edição do modelo

25 PIPE2: Software de Simulação de Redes de Petri Transição Imediata Arco Normal Adicionar/Remover Marcas Lugar Transição Temporizada Arco Inibidor

26 Metodologia

27 Metodologia Buffers viram lugares com capacidade elevada

28 Metodologia Buffers viram lugares com capacidade elevada

29 Metodologia Operações viram lugares com capacidade simples

30 Metodologia Operações viram lugares com capacidade simples

31 Metodologia Processos de linhas diferentes se dividem para cada linha

32 Metodologia Transportes viram lugares com capacidade simples

33 Metodologia Transportes viram lugares com capacidade simples

34 Metodologia Coloca-se as transições entre os lugares da rede garantindo as características dos SEDs

35 Metodologia Coloca-se as transições entre os lugares da rede garantindo as características dos SEDs

36 Metodologia Liga-se os arcos dos lugares para as transições e das transições para os lugares e coloca-se os pesos

37 Metodologia Liga-se os arcos dos lugares para as transições e das transições para os lugares e coloca-se os pesos

38 Metodologia Liga-se os arcos dos lugares para as transições e das transições para os lugares e coloca-se os pesos

39 Metodologia Aloca-se os recursos

40 Metodologia Aloca-se os recursos

41 Metodologia Aloca-se os recursos

42 Metodologia Aloca-se os recursos

43 Metodologia Aloca-se os recursos

44 Metodologia Configurar os tempos das transições e as condições iniciais dos lugares

45 Metodologia Configurar os tempos das transições e as condições iniciais dos lugares

46 Metodologia Configurar os tempos das transições e as condições iniciais dos lugares

47 Metodologia Configurar os tempos das transições e as condições iniciais dos lugares Simular