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