Simulação Usando

Redes de Petri

Software HPSim

Elementos da Rede de Petri

Arco

Marca

Transição

(imediata)

Transição

(Temporizada)

Lugar

Arco

Habilitador

ou de teste

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

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

HPSim: Software de Simulção de Redes de Petri

Janela de

edição do

modelo

Barra principal Barra de simulação

Tabela de

propriedades

Barra de edição

HPSim: Elementos das Redes de Petri no Software

Lugar

Transição Elementos gráficos

Selecionador Arco

Propriedades dos

lugares

Propriedades das

transições

Propriedades dos

arcos

HPSim: Parâmetros de Simulação

Tempo máximo

Máximo número

de passos

Arquivo para salvar

os resultados

Velocidade no

modo normal

Reinicializa

a rede Pausa

Modo

simulação

Avança em

vel. normal

Avança em

vel. máxima

Avança

1 passo Registra

os dados

Exemplo

M1 Bancada de

Montagem

(A+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

Exemplo Passo 1 - Construir o modelo dos processos

Exemplo Passo 2 – Adicionar o modelo dos recursos

Passo 3 - Simular...

Exercício 1

M1

M2

M3

Buffer de

Entrada

(Peça A) Montagem C

(2B + 1A)

Buffer de

Entrada

(Peça B)

Buffer de

Saída

(Peça C)

Buffer A

Buffer B

Montagem D

(3A + 1B)

Buffer de

Saída

(Peça D)

Buffer A

Buffer B

R1 – Transporte de A e B ( , )

R2 – Transporte de C e D ( , )