Simulação Usando Redes de Petri -...
Transcript of Simulação Usando Redes de Petri -...
Simulação Usando
Redes de Petri
Software PIPE2
Elementos da Rede de Petri
Arco
Marca
Transição
(imediata)
Transição
(Temporizada)
Lugar
Arco
Inibidor
Rede de Petri e as características dos SEDs
Compartilhamento
de recurso
Conflito
Sincronização Paralelismo
Recurso
Sequência
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri
Dinâmica da Rede de Petri Temporizada
Dinâmica da Rede de Petri Temporizada
3 3
Dinâmica da Rede de Petri Temporizada
3
2
3
2
Formalização Matemática
Representação Matricial
s*CMM 0
Matriz de Incidência
Marcação inicial Vetor de disparo
110000
021110
001011
100111
CLugares
P1
P2
P3
P4
Transições
T1
T2
T3
T4
T5
T6
P2 P1
P3
P4
T1
T2
T3
T4
T5
T6
0
0
0
1
0M
0
0
0
0
0
1
SLugares
P1
P2
P3
P4
Trans.
T1
T2
T3
T4
T5
T6
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando Robô
Descarregando
Máquina
Máquina Disponível
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando
Máquina Disponível
Robô
Descarregando Máquina
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando
Máquina Disponível
Robô
Descarregando Máquina
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando
Máquina Disponível
Robô
Descarregando Máquina
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando
Máquina Disponível
Robô
Descarregando Máquina
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando
Máquina Disponível
Robô
Descarregando Máquina
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando
Máquina Disponível
Robô
Descarregando Máquina
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando
Máquina Disponível
Robô
Descarregando Máquina
Aplicação: Sistema Máquina-Ferramenta e Robô
Robô
Carregando Máquina
Robô Disponível
Máquina
Processando
Máquina Disponível
Robô
Descarregando Máquina
PIPE2: Software de Simulação de Redes de Petri
Janela de
edição do
modelo
Barra principal Barra de edição
PIPE2: Software de Simulação de Redes de Petri
Lugar
Transição
Imediata
Transição
Temporizada
Arco
Normal
Arco
Inibidor
Adicionar/Remover
Marcas
Metodologia
M1 Bancada de
Montagem
(2A+B)
Buffer de
Entrada
(Peça A)
Buffer de
Entrada
(Peça B)
Buffer
Interm.
(Peça A)
Buffer
Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
Metodologia
M1 Bancada de
Montagem
(2A+B)
Buffer de
Entrada
(Peça A)
Buffer de
Entrada
(Peça B)
Buffer
Interm.
(Peça A)
Buffer
Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
Buffers viram lugares com capacidade elevada
Metodologia
Buffers viram lugares com capacidade elevada
M1 Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de
Entrada
(Peça B)
Buffer
Interm.
(Peça A)
Buffer
Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
Metodologia
Buffers viram lugares com capacidade elevada
M1 Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
Metodologia
Operações viram lugares com capacidade simples
M1 Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
Metodologia
Operações viram lugares com capacidade simples
M1 Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
Metodologia
Operações viram lugares com capacidade simples
M1
Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
Metodologia
Processos de linhas diferentes se dividem para cada linha
M1
Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
Metodologia
Processos de linhas diferentes se dividem para cada linha
M1
Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
M1
Metodologia
Transportes viram por lugares com capacidade simples
M1
Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
M1
Metodologia
Transportes viram por lugares com capacidade simples
M1
Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
M1
Transp.
BA-M1
Metodologia
Transportes viram por lugares com capacidade simples
M1
Bancada de
Montagem
(2A+B)
Buffer de Entrada
(Peça A)
Buffer de Entrada
(Peça B)
Buffer Interm.
(Peça A)
Buffer Interm.
(Peça B)
Buffer
Saída
(Peça C)
Robô R1 Robô R2
M1
Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC
Metodologia
Coloca-se as transições entre os lugares da rede
garantindo as características dos SEDs
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC
Metodologia
Coloca-se as transições entre os lugares da rede
garantindo as características dos SEDs
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC
Metodologia
Coloca-se as transições entre os lugares da rede
garantindo as características dos SEDs
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC
Metodologia
Coloca-se as transições entre os lugares da rede
garantindo as características dos SEDs
Metodologia
Liga-se os arcos dos lugares para as transições e das
transições para os lugares e coloca-se os pesos
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC
Metodologia
Liga-se os arcos dos lugares para as transições e das
transições para os lugares e coloca-se os pesos
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC
Metodologia
Liga-se os arcos dos lugares para as transições e das
transições para os lugares e coloca-se os pesos
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
Metodologia
Liga-se os arcos dos lugares para as transições e das
transições para os lugares e coloca-se os pesos
Metodologia
Aloca-se os recursos
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
Metodologia
Aloca-se os recursos
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
R1
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
Metodologia
Aloca-se os recursos
R1
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
R2
Metodologia
Aloca-se os recursos
R1
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
R2
Bancada
Metodologia
Aloca-se os recursos
Metodologia
Configura os tempos das transições e as condições
iniciais dos lugares
R1
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
R2
Bancada
R1
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
R2
Bancada 1 1
1 1
1
2
3
4
Metodologia
Configura os tempos das transições e as condições
iniciais dos lugares
R1
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
R2
Bancada 1 1
1 1
1
2
3
4
Metodologia
Configura os tempos das transições e as condições
iniciais dos lugares
R1
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
R2
Bancada 1 1
1 1
1
2
3
4
10
15
4
4
Metodologia
Configura os tempos das transições e as condições
iniciais dos lugares
Metodologia
Simular
R1
M1
Mont.
Buf.
Ent. A
Buf.
Ent. B
Buf.
Int. A
Buf.
Int B
Buf. C
M1 Transp.
BA-M1
Transp.
BB-M1 Transp.
M1-B2B
Transp.
M1-B2A
Transp.
Mon-BC 2
1
M1
R2
Bancada 1 1
1 1
1
2
3
4
10
15
4
4