of 57 /57
Simulação Usando Redes de Petri Software PIPE2

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

  • Upload
    vanlien

  • View
    235

  • Download
    1

Embed Size (px)

Citation preview

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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