PECE Programa de Educao Continuada

Especializao em Automao Industrial

Modelos de Redes de Petri Aplicados a Plantas de Automao Industrial

Anlise de Sistemas a Eventos Discretos atravs de Redes de Petri Coloridas e Temporizadas

LARCIO CARLOS DAMACENA

INTRODUO
OBJETIVO
APLICAES
REDES DE PETRI COLORIDAS REDES DE PETRI TEMPORIZADAS X PLANTAS DE AUTOMAO INDUSTRIAL
Larcio Carlos Damacena 04/06/2012

INTRODUO
REDES DE PETRI COLORIDAS

Larcio Carlos Damacena

04/06/2012

INTRODUO
REDES DE PETRI COLORIDAS
DEFINIES TIPOS PROPRIEDADES APLICAES

Larcio Carlos Damacena

04/06/2012

INTRODUO
REDES DE PETRI TEMPORIZADAS

Larcio Carlos Damacena

04/06/2012

INTRODUO
REDES DE PETRI TEMPORIZADAS
DEFINIES TIPOS APLICAES

Larcio Carlos Damacena

04/06/2012

REDES DE PETRI COLORIDAS

Eventos causam uma mudana instantnea no estado

s
A A B

t
Larcio Carlos Damacena 04/06/2012

TIPOS DE REDES DE PETRI COLORIDAS

REDE COM MARCAS INDIVIDUAIS E ARCOS COM INSCRIES FIXAS REDE COM MARCAS INDIVIDUAIS E ARCOS COM INSCRIES VARIVEIS

REDE COM MARCAS INDIVIDUAIS E ARCOS COM INSCRIES FIXAS

A A B

Larcio Carlos Damacena

04/06/2012

REDE COM MARCAS INDIVIDUAIS E ARCOS COM INSCRIES VARIVEIS

AB

Larcio Carlos Damacena

04/06/2012

PROPRIEDADES ESTTICAS E DINMICAS

A propriedade esttica atendida pela modelagem de dados ou objetos, sem preocupaes com sucesses de ocorrncia. O propsito principal de propriedades estticas caracterizar subdivises de classe de Redes de Petri Coloridas com caractersticas agradveis. O estudo de propriedades estticas , porm, uma das vrias maneiras, atravs do conhecimento e experincia de redes de baixo nvel, alto-nivelar redes adequadamente. A propriedade dinmica atendida, em muitas abordagens metodolgicas, pela modelagem de estado dos objetos, de forma que temos a preocupao em saber se uma transio (habilitada ou no habilitada) poder ocorrer.

Larcio Carlos Damacena

04/06/2012

ESTUDO DE CASO: COM SIMULAO GRFICA DE REDES DE PETRI COLORIDAS

O estudo de caso apresentado por Tsinarakis, Valavanis e Tsourveloudis cujo tema Modular Petri Net Based Modeling , Analysis and Synthesis of Dedicated Production Systems apresentado na International Conference on Robotics & Automation em Taipei, Taiwan, de 14-19 de setembro de 2003, referncia para o presente estudo de caso.
Larcio Carlos Damacena 04/06/2012

MODELO ATUAL

REPRESENTAO DO MODELO POR REDES DE PETRI ATUAL

REPRESENTAO DO MODELO POR REDES DE PETRI ATUAL

MODELO DE REDES DE PETRI PARA O FLUXO DAS PEAS

B2 M3 B5

M1 B1 B Inicial 0

M2 B3

0 M4

B6

M5 B Final

0 B4

MODELO DE REDE DE PETRI COM SISTEMA FECHADO

Recall

0 B2

M3

B5

M1 B1 B Inicial 0

M2

B3

0 M4

B6

M5 B Final

0 B4

Recall 0

Modelo de Rede de Petri representando um deed look

Recall

0 B2

M3

B5

M1 B Inicial 0

B1

M2

B3

0 M4

B6

M5 B Final

0 B4

Recall 0

APLICAO DAS REDES DE PETRI COLORIDAS

Sinal AB A+B 0 A A M1 B Inicial AB A+B 0 A+B AB A +B 0 B B B C C 0 C B+C 0 B+C BC 0 Sinal C M2 A 0

M3 A A A M5 A+B+C ABC B Final

M4

REDES DE PETRI TEMPORIZADAS

BufferP1 5 P2

T
T M1 livre P1M1 T 0 P2M1 T 0 Buffer fase2-P1 M3 livre T T 0 P1M2 M2 livre T T P2M2 T T P2M3 0 Magazine P1M3 0 0 T 0 Buffer fase2

0 8 Buffer P2

P1

Larcio Carlos Damacena

04/06/2012

REDES DE PETRI COM POSIES TEMPORIZADAS (RPPT)

Nesta seo associamos tempo s posies: as marcas entram nas posies, mas permanecem no disponveis por um intervalo de tempo, aps o qual podem habilitar transies.

Larcio Carlos Damacena

04/06/2012

REDES DE PETRI COM TRANSIES TEMPORIZADAS (RPTT) Numa RPTT, a habilitao de uma transio no provoca o disparo ou ativao imediatamente, mas somente aps um tempo caracterstico de cada transio.

Larcio Carlos Damacena

04/06/2012

ESTUDO DE CASO: COM SIMULAO GRFICA DE REDES DE PETRI TEMPORIZADAS

O sistema composto inicialmente por um motor de uma bomba, uma vlvula controladora de vazo e um tanque (recipiente que dever ser preenchido at a totalizao de seu nvel).

Larcio Carlos Damacena

04/06/2012

UM EXEMPLO SIMPLES DE REDES DE PETRI COM TRANSIES TEMPORIZADAS

Motor Des. Valv. Ab.

MD

VA

In. Proc.

Motor En. ME Desl. M 3 Est.Vel. 10

Valv. Lig VL Abrir V. F. Vlv. 8 6

Motor P Vel. MPV

Valv. Fech. VF

Nivel R.

100

Rec. Cheio RC

Valv. Hab. VH

ESCOLHA DAS MARCAS INICIAIS

A B

t1

D 6

t5

3 t2 10 t3 8

t6

t4 G

100

SISTEMA DE ENCHIMENTO DO TANQUE APS A TRANSIO T1

A B

t1

D 6

t5

3 t2 10 t3 8

t6

t4 G

100

SISTEMA DE ENCHIMENTO DO TANQUE APS A TRANSIO T4

A B

t1

D 6

t5

3 t2 10 t3 8

t6

t4 G

100

MELHOR SOLUO
A B

t1

t5

3 t2 10 t3 8 t6 6

t4 G

100

CONCLUSES FINAIS
APLICAES DE REDES DE PETRI COLORIDAS:

Em Plantas Industriais envolvendo Processos de Manufatura

Redes de Petri Coloridas foram usadas para modelar e analisar topologia de redes aleatrias, de forma que, uma vez que as peas so identificadas, possvel obter informaes mais precisas de um sistema de manufatura, sem perder a semntica do processo.
Larcio Carlos Damacena 04/06/2012

CONCLUSES FINAIS
APLICAES DE REDES DE PETRI TEMPORIZADAS: EM PLANTAS INDUSTRIAIS
Redes de Petri Temporizadas foram usadas para modelar e analisar topologia de redes que antes tinham tempos de ciclos considerados com fracos desempenhos, de forma que, melhorando a taxa de desempenho foi possvel obter benefcios no processo.
Larcio Carlos Damacena 04/06/2012

PERGUNTAS

Larcio Carlos Damacena

04/06/2012