Simulação Usando Redes de Petri -...
Transcript of Simulação Usando Redes de Petri -...
![Page 1: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/1.jpg)
Simulação Usando
Redes de Petri
Software PIPE2
![Page 2: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/2.jpg)
Elementos da Rede de Petri
Arco
Marca
Transição
(imediata)
Transição
(Temporizada)
Lugar
Arco
Inibidor
![Page 3: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/3.jpg)
Rede de Petri e as características dos SEDs
Compartilhamento
de recurso
Conflito
Sincronização Paralelismo
Recurso
Sequência
![Page 4: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/4.jpg)
Dinâmica da Rede de Petri
![Page 5: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/5.jpg)
Dinâmica da Rede de Petri
![Page 6: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/6.jpg)
Dinâmica da Rede de Petri
![Page 7: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/7.jpg)
Dinâmica da Rede de Petri
![Page 8: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/8.jpg)
Dinâmica da Rede de Petri
![Page 9: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/9.jpg)
Dinâmica da Rede de Petri
![Page 10: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/10.jpg)
Dinâmica da Rede de Petri
![Page 11: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/11.jpg)
Dinâmica da Rede de Petri
![Page 12: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/12.jpg)
Dinâmica da Rede de Petri
![Page 13: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/13.jpg)
Dinâmica da Rede de Petri Temporizada
![Page 14: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/14.jpg)
Dinâmica da Rede de Petri Temporizada
3 3
![Page 15: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/15.jpg)
Dinâmica da Rede de Petri Temporizada
3
2
3
2
![Page 16: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/16.jpg)
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
![Page 17: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/17.jpg)
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
![Page 18: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/18.jpg)
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
![Page 19: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/19.jpg)
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
![Page 20: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/20.jpg)
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
![Page 21: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/21.jpg)
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
![Page 22: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/22.jpg)
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
![Page 23: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/23.jpg)
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
![Page 24: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/24.jpg)
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
![Page 25: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/25.jpg)
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
![Page 26: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/26.jpg)
PIPE2: Software de Simulação de Redes de Petri
Janela de
edição do
modelo
Barra principal Barra de edição
![Page 27: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/27.jpg)
PIPE2: Software de Simulação de Redes de Petri
Lugar
Transição
Imediata
Transição
Temporizada
Arco
Normal
Arco
Inibidor
Adicionar/Remover
Marcas
![Page 28: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/28.jpg)
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
![Page 29: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/29.jpg)
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
![Page 30: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/30.jpg)
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
![Page 31: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/31.jpg)
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
![Page 32: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/32.jpg)
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
![Page 33: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/33.jpg)
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
![Page 34: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/34.jpg)
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
![Page 35: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/35.jpg)
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
![Page 36: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/36.jpg)
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
![Page 37: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/37.jpg)
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
![Page 38: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/38.jpg)
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
![Page 39: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/39.jpg)
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
![Page 40: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/40.jpg)
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
![Page 41: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/41.jpg)
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
![Page 42: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/42.jpg)
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
![Page 43: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/43.jpg)
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
![Page 44: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/44.jpg)
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
![Page 45: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/45.jpg)
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
![Page 46: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/46.jpg)
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
![Page 47: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/47.jpg)
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
![Page 48: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/48.jpg)
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
![Page 49: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/49.jpg)
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
![Page 50: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/50.jpg)
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
![Page 51: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/51.jpg)
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
![Page 52: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/52.jpg)
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
![Page 53: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/53.jpg)
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
![Page 54: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/54.jpg)
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
![Page 55: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/55.jpg)
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
![Page 56: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/56.jpg)
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
![Page 57: Simulação Usando Redes de Petri - sites.poli.usp.brsites.poli.usp.br/d/pmr2460/arquivos/RP_PIPE2.pdf · Redes de Petri Software PIPE2 . Elementos da Rede de Petri Arco Marca Transição](https://reader030.fdocument.pub/reader030/viewer/2022021621/5c47859b93f3c34aee50da87/html5/thumbnails/57.jpg)
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