EPUSP

Automao Eltrica
de Processos
Industriais

Parte II

EPUSP

Redes de
Automao

EPUSP

Hierarquia entre Redes

Nvel de
Gerenciamento Mainframe
Corporativo

WANs

NVEL 5
Nvel de
Gerenciamento de
Workstation
Planta
NVEL 4
Nvel de Superviso

LANs

Workstation,
PC

- Ethernet
- MAC
- TCP/IP

NVEL 3
Nvel de Controle
- ControlNet
- Profibus FMS
- LonWorks
- FieldBus HSE

CLP, PC,
CNC
NVEL 2

Nvel de Dispositivos de campo, sensores e

atuadores
- FieldBus H1
- DeviceNet -CAN
- Profibus DP, PA

- Hart
- Asi
- LonWorks
- InterBus

Barramentos
de Campo
sensores e
atuadores

NVEL 1

EPUSP

Nvel 1

Nvel dos dispositivos de campo, sensores e

atuadores.

Onde atua o controlador programvel.

Nvel 2

Neste nvel, localizam-se os Controladores que

atuam nos dispositivos de campo do nvel 1.

Integrao entre unidades inteligentes.

Nvel 3

Possui algum tipo de superviso associada ao

processo

Neste nvel, localizam-se os concentradores de

informaes sobre o Nvel 1 e as Interfaces
Homem-Mquina (IHM).

EPUSP

Nvel 4

controle do processo produtivo da planta;

constitudo por bancos de dados, MRP, etc.

Nvel 5

Programao
realizando

planejamento

controle

da

produo

logstica

dos

suprimentos.

Administrao

dos

recursos

da

empresas.

Possui softwares para gesto de vendas e

gesto financeira, feita a deciso e o
gerenciamento de todo o sistema, SAP, etc.

EPUSP

Redes de Comunicao

Redes Abertas - Modelo de Referncia OSI

N. 7: Aplicao (application), todo processo especfico da
aplicao do sistema;
N.

6:

Apresentao

(presentation),

transformaes

representaes da informao;
N. 5: Sesso (session), manuteno da associao entre
entidades da aplicao e controle dos dilogos;
N. 4: Transporte (transport), controle de fluxos e de erros
entre estaes;

N.

3:

Gerncia

da

rede

(network),

encaminhamento

(routing), chaveamento e outros internos rede;

N. 2: Transmisso de dados (data transmission), controle de
fluxos e de erros, e acesso ao meio de comunicao;
N. 1: rede fsica (physical network), transferncia de bits e

de sinalizao.

EPUSP

Redes de Comunicao

Redes Abertas - Modelo de Referncia OSI

Modelo de referncia OSI da ISO

EPUSP

Principais
Conceitos de Rede

EPUSP

Meio Fsico de Comunicao

Jacket of PVC or Teflon

Jacket made of PVC or Teflon

Cabo de Par Tranado

Cabo Coaxial

Fibra ptica

Radio Frequncia

EPUSP

Tecnologia de Comunicao

Ponto-a-ponto
-

Desperdcio de banda, repetio dos dados

quando apena o destino diferente.

Dado enviado vrias vezes.

ALLEN- BRADLEY

Panel Vi ew 550

<
F1

F2

F3

F4

F7

F8

F9

F1
0

F5
<

F6

<- - - - - - - - - - - - - - - - - '

>
v

10

EPUSP

Tecnologia de Comunicao

Produtor-Consumidor
mltiplos ns podem simultaneamente
consumir os dados de um mesmo produtor
ns podem ser sincronizados
utilizao mais eficiente da banda de
comunicao
ALLEN- BRADLEY

Panel Vi ew 550

CTRL2

CTRL1

<
F1

F2

F3

F4

#
2

F7

F8

F9

F1
0

HMI

F5
<

F6

<- - - - - - - - - - - - - - - - - '

>
v

#1

Sensor

Mensagem #1
referncia de posio do sensor transmitida em
multicast aos CTRL1, 2 e IHM

Mensagem #2
comando de velocidade do CTRL1 transmitido
simultneamente aos 3 drives e IHM

Multicast no possvel com modelo

origem/destino
no sistema acima teramos necessariamente 7
mensagens
11

EPUSP

Tecnologia de Comunicao

Comparao: Informando a hora para

uma sala com 15 pessoas

Ponto-a-ponto x Produtor/Consumidor

Ponto-a-ponto

Uma pessoa (origem) informa individualmente a cada

uma das outras pessoas na sala (destino) o horrio
marcado em seu relgio (dado)

O tempo continua passando enquanto a origem

informa o horrio a cada um
- dados no estaro corretos aps as primeiras
pessoas
- tanto origem como destinos tero que fazer ajustes
para se alcanar algum tipo de sincronismo

A agilidade deste processo varia em funo do

nmero de pessoas na sala

12

EPUSP

Tecnologia de Comunicao

Comparao: Informando a hora para

uma sala com 15 pessoas

Ponto-a-ponto x Produtor/Consumidor

Produtor/Consumidor
Uma pessoa informa o horrio (produtor) a todos os
presentes

Todas as 20 pessoas recebem a informao

simultaneamente

Algumas pessoas podem optar por consumiros

dados (reconhecer a recepo por um gesto, ajustar
seus relgios, etc..)

Outros podem optar por no consumir a informao.

Altamente eficiente (os dados so produzidos apenas

uma vez, no so necessrios ajustes adicionais para
produtores e/ou consumidores)

Altamente determinstico (tempo de transmisso no

muda se mais pessoas entrarem ou sairem da sala)

13

EPUSP

Tecnologia de Comunicao

Mestre-Escravo
Escravo: Perifrico Passivo
Dispositivos escravos trocam dados apenas
com o Mestre

ALLEN- BRADLEY

Panel Vi ew 550

<
F1

F2

F3

F4

F7

F8

F9

F5
<

F6

<- - - - - - - - - - - - - - - - - '

F1
0

>
v

Multimestre
Mais de um mestre
Cada mestre tem seu prprio conjunto de
escravos.
Dispositivos escravos apenas trocam dados
com seus mestres.

ALLEN- BRADLEY

Panel Vi ew 550

<
F1

F2

F3

F4

F5

F6

F7

F8

F9

F1
0

<- - - - - - - - - - - - - - - - - '

^
<

>
v

14

EPUSP

Mtodo de Troca de Dados

CSMA/CD
- Carrier Sense Multiple Access/Colision Detection

- Quando dispositivo detecta a coliso, a

transmisso abortada e aps um tempo
randmico o dispositivo tenta transmitir
novamente.

Token-Passing
-O Token: sequncia especial de bits que circula
dentro do anel
-Caso um dispositivo queira transmitir, ele deve
capturar o token, substituindo-o por um frame

15

EPUSP

Mtodo de Troca de Dados

Cclica
Os dispositivos produzem (transmitem) dados
a uma taxa configurada pelo usurio
(entrada/sada).
Vantagens:
- Dados transferidos a uma taxa adequada
ao dispositivo/aplicao.
- Recursos podem ser preservados para
dispositivos com alta variao.
ALLEN- BRADLEY

Panel Vi ew 550

<
F1

F2

F3

F4

a cada 100ms

a cada 5ms

F7

F8

F9

a cada 2000ms

analog I/O

16

F1
0

F5
<

F6

<- - - - - - - - - - - - - - - - - '

>
v

EPUSP

Mtodo de Troca de Dados

Polling
Quando os dispositivos recebem dados
(normalmente sadas) imediatamente enviam
seus dados (normalmente entradas)
Compatvel com sistemas Mestre/Escravo &
Multimestre
- Normalmente no utilizado com peer-topeer
Desenvolvido sobre origem/destino,
mestre/escravo

ALLEN- BRADLEY

Panel Vi ew 550

<
F1

F2

F3

F4

F5

F6

F7

F8

F9

F1
0

<- - - - - - - - - - - - - - - - - '

^
<

>
v

17

EPUSP

Mtodo de Troca de Dados

Mudana de Estado
Dispositivos produzem dados apenas quando
tem seu estado alterado
Existe um sinal em segundo plano transmitido
ciclicamente para confirmar que o dispositivo est
funcionando corretamente.
Vantagens:
- reduz significativamente o trfego da rede
- recursos no so desperdiados
processando-se dados antigos

ALLEN- BRADLEY

Panel Vi ew 550

<
F1

F2

F3

F4

F5

F6

F7

F8

F9

F1
0

<- - - - - - - - - - - - - - - - - '

^
<

>
v

digital I/O

18

EPUSP

Performance da Rede

Velocidade:
Taxa de transferncia total de dados por unidade de
tempo.
Considera informaes (dados teis) e o Envelope
de Comunicao (dados de controle do protocolo).

Throughput:
Taxa de transferncia de informaes por unidade
de tempo.
Considera apenas os dados efetivamente teis para
os integrantes da Rede.

Confiabilidade da Rede

Redes Probabilsticas:
Permite apenas calcular a probabilidade da
transferncia de informaes ocorrer em um
determinado intervalo de tempo.

Redes Determinsticas:
Permite determinar com preciso o tempo
necessrio para a transferncia de informaes
entre os integrantes da Rede.
19

EPUSP

Topologias de Redes

I) Meio Partilhado
Computador/Terminal/
Estao Remota

Esquema de Rede em Barra

Computador

Esquema de Rede em Anel

20

EPUSP

II) Ponto a Ponto

Esquema de
Rede em
Estrela

anfitrio

terminais

Esquema
de Rede
em Grafo

Esquema de
Rede em
rvore
21

EPUSP

Consideraes

Necessidade

Custo (Projeto / Instalao / Produtos)

Fcil Instalao / Configurao / Expanso

Procedimento de Manuteno Simples

Quantidade de Dispositivos

Tecnologia Consolidada

Disponibilidade de Produtos

22

EPUSP

Sistemas
Supervisrios
Interfaces Homem Mquina

(IHM)

23

EPUSP

Sistemas Supervisrios e Interfaces

Homem-Mquina

.....+ 2500 circuitos...

Quais so importantes
de serem
supervisionados?
Circuito Eltrico

Sistemas Supervisrios:
- permite a superviso e o comando de
determinados pontos da planta automatizada.

IHM:

- recebe sinais do CLP e do operador

- envia sinais para o CLP atuar nos
equipamentos instalados na planta
- pode ser um equipamento especial que
localiza-se no campo

24

EPUSP

Introduo

Sistemas automatizados complexos

Necessidade de uma interface amigvel

Facilitar o trabalho de operao

Supervisionar e controlar pontos da planta
automatizada.
O PLC envia estes sinais por meio de TAGs
ou bits para a IHM.
necessrio saber de onde vir a varivel e
como ser manipulada pelo PLC ou pelo
supervisrio, podendo ser do tipo DDE,
Memory ou Device.

25

EPUSP

Tipos de Variveis

DEVICE: os dados se originam dos PLCs.

So definidas tags para estas variveis e um
endereo fsico associado a elas.
Exemplo de funes associadas a uma tag:
Nome da tag: Digital1
Estado de Alarme: Ativo
Prioridade de Alame: 2
Nome de Acesso: CLP-teste
Endereo: I:0/3

26

EPUSP

Tipos de Variveis

MEMORY: os dados existem localmente no

supervisrio.
Exemplo: Varivel Memria real utilizada como
contador.

27

EPUSP

Ambiente de trabalho
Desenvolvimento

ambiente

de

desenvolvimento das telas grficas onde se cria

o desenho que ser animado.
Run Time o ambiente onde se mostra a janela
animada criada no modo de desenvolvimento.

28

EPUSP

Atividades dos Operadores

Operao Normal:
- Vigilncia, detectar defeitos ou falhas possveis
- Observao sistemtica dos indicadores essenciais a uma
visualizao sobre o estado geral do processo. Nem todos os
parmetros so observados com a mesma freqncia, pois:
alguns parmetros fornecem mais informaes;
alguns aparelhos so mais estveis;
algumas desregulagens so mais graves;
alguma unidade especfica est em uma fase de
operao particular.

Operao sob Contingncia:

-Simultaneidade de vrios eventos simples causadores de
perturbaes no processo.
-Tomada de aes devido a falhas nos equipamentos.
-Reconhecimento de Alarmes.

29

EPUSP

Planejamento do Sistema
Supervisrio
1) Entendimento do processo a ser automatizado
2) Tomada de dados (variveis)
3) Planejamento do banco de dados
4) Planejamento dos alarmes

5) Planejamento da hierarquia de navegao entre telas

6) Desenho de telas
7) Grfico de tendncias dentro das telas

8) Planejamento de um sistema de segurana

9) Padro Industrial de Desenvolvimento

30

EPUSP

1)
Entendimento
automatizado
Verificar

do

processo

funcionamento

do

ser

processo

completo, com nfase na parte que dever ser

monitorada pelo sistema supervisrio.
O CLP pode possuir muitas variveis, porm
deve ser estudadas somente as que aparecero no
supervisrio.

31

EPUSP

2) Tomada de dados (variveis)

O tempo de aquisio das variveis deve ser
definido de acordo com a necessidade. Podem ser

definidos

diferentes

tempos

para

grupos

de

variveis, de acordo com o aplicativo do sistema

supervsrio utilizado.

32

EPUSP

3) Planejamento do Banco de Dados

O CLP lida com um nmero muito grande de
variveis, porm, somente uma parte necessria

para o desenvolvimento do sistema supervisrio.

Alm disso, necessrio fazer a distino
entre as variveis que sero salvas no computador e
as que serviro de indicao.
Exemplo:

Algumas

variveis

analgicas

importantes para o processo so salvas periodicamente

no disco rgido. Para tanto, o item destacado na figura a
seguir deve ser selecionado na definio da tag (a forma
de definir varia de acordo com o aplicativo utilizado).

33

EPUSP

4) Planejamento de alarmes

1)

sob quais
acionados

condies

os

alarmes

sero

2)

quais operadores sero notificados por esses

alarmes

3)

quais mensagens devero ser enviadas

4)

quais aes devero ser tomadas na ocorrncia

desses alarmes

5)

chamar a ateno do operador sobre uma

modificao do estado do processo

6)

sinalizar um objeto antigo

7)

fornecer indicao global sobre o estado do

processo.

34

EPUSP

5)

Planejamento

de

uma

hierarquia

de

navegao entre telas

O sistema supervisrio do processo deve possuir

menu que possibilite a navegao entre telas de
forma amigvel para o operador.

A seguir so apresentados exemplos de telas de

supervisrio.

35

EPUSP

Exemplo Tela para navegao

Geralmente, os supervisrios possuem na barra
inferior um menu para navegao entre telas.

36

EPUSP

6) Desenho de telas
Algumas empresas possuem um padro para
desenvolvimento de Telas de Supervisrio.
Somente os dados necessrios para o processo
devem ser exibidos na tela, para simplificar seu
entendimento.
De acordo com a necessidade, os sistemas de
superviso possuem vrios nveis de
desenvolvimento, desde simples interfaces de
monitorao at sistemas avanados de iterao
com o operador.
A seguir so apresentados alguns exemplos.

37

EPUSP

Exemplo de tela simples

38

EPUSP

Exemplo tela de complexidade mdia

39

EPUSP

Exemplo de tela avanada

40

EPUSP

7) Grfico de Tendncias
Para variveis analgicas que precisam de
um monitoramento mais completo, podem ser
utilizados grficos de tendncias.

41

EPUSP

Grfico de Tendncias

42

EPUSP

8) Planejamento de um sistema de
segurana
Os sistemas supervisrios possuem funes de
segurana avanados que permitem a criao
de usurios com nveis de segurana.
Abaixo encontra-se um exemplo de tela de
configurao de usurios:

43

EPUSP

Modelamento
e projeto
pelas Redes
de Petri

44

EPUSP

Sistemas a Eventos Discretos e

Redes de Petri

Classificao dos Sistemas e Processos

45

EPUSP

Sistemas contnuos no tempo e

sistemas a eventos

Comportamento do sistema

46

EPUSP

Sistemas a Eventos Discretos

SED's so sistemas em que os sinais:
a)

Valores num conjunto discreto, como {on, off},

{verde, amarelo}, {1, 2, 3, ...};

b)

Alteraes de valor so to rpidas que se podem

modelar como instantneas, em qualquer instante t

R;
c)

Duas possveis razes para alterao: ocorrncia de

eventos

instantneos

externos,

isolados

independentes; ocorrncia de eventos internos,

definidos por rigorosas cadeias lgicas.

Exemplos de Sistemas a Eventos

Discretos

Contador energizvel por um

intertravamento lgico

47

Filas de Servios

EPUSP

Filas de Servio

Manufatura com
retrabalho

Recepo

Processo
industrial job-shop

Processo industrial flow-48

shop

EPUSP

Redes de Petri

Rede de Petri (RP) uma quntupla (P, T, A, W, m0) em

que
P={p1...pn} - conjunto finito de posies ou lugares;
T={t1...tm} - conjunto finito de transies;
A - conjunto finito de arcos pertencente ao conjunto
(P x T) (T x P)
(P x T) - conjunto dos arcos orientados de pi para tj
(pi, tj)
(T x P) - conjunto dos arcos orientados de ti para pi
(ti, pi);
W : funo que atribui um peso w (nmero inteiro) a
cada arco;
m0 - vetor cuja i-sima coordenada define o nmero
de marcas (tokens) na posio pi, no incio da
evoluo da rede.

Simbologia
= posio / lugar
= transio

= arco orientado

49

EPUSP

Exemplo de Rede de Petri aplicado a caixa

Bancrio Automtico

Rede de Petri

50

EPUSP

Pr-sets e Ps-Sets

Pr-set de t : = t : = { pi P | A (ppt)}
ou seja, o pr-set de t, t o conjunto das posies em
P a partir das quais existe arco para a transio t;
Ps-set de t: = t : = {piP | A (t, pi)};
ou seja, o ps-set de t, t, o conjunto das posies
em P para as quais existe arco oriundo da transio t;
Pr-set de p: = p: = { tj T | A (tj , p)};
Pr-set de p : = p : = { tj T | A (p, tj )};

51

EPUSP

Execuo das Redes de Petri

= Movimentao das marcas, pela rede, conforme

regras
= HABILITAO + DISPARO

I. Uma transio tj HABILITADA por uma marcao m

se, para todo pi tj, m(pi) w(pi, tj)
m: n de marcas em pi
w: peso do arco pi tj
II. Uma transio habilitada DISPARADA por duas
operaes:
a) remoo de marcas das posies do pr-set
(tantas marcas quanto for o peso do arco
correspondente)
b) depsito de marcas nas posies do ps-set
(tantas marcas quanto for o peso do arco
correspondente)
Se a transio for temporizada, com tempo T, este
tempo ser introduzido entre II.a e II.b.
Se a posio for temporizada, com tempo T, este
tempo ser introduzido antes que a posio possa
habilitar alguma transio.
52

EPUSP

Execuo das Redes de Petri

Exemplos

p1

1
t1

.p

p2

.p

...
p1

2
t1

.
.

p1

p2

p1

2
t1

p2

p1

.
53

EPUSP

Execuo das Redes de Petri

..

t1

t1

...

2
t2

t2

p1

p3

t1

p2

t2

p2

t2

p2

p4

p1

p3

t1

p2

p4

p1

p3

t1
t2

p2
p4

p2

54

EPUSP

Execuo das Redes de Petri

Flexibilidade do Modelamento po RPs

As marcas mudam de significado fsico ao se
movimentarem pela RP.

parafuso

kit

kit em
montagem

subconjunto
montado

porca
arruela

.
chassi

55

EPUSP

Execuo das Redes de Petri

Compartilhamento de processo em paralelo

p1

p2

.
p5

p6

p3

p4
p7

56

EPUSP

Variveis de Estado

A varivel de estado de uma RP de n posies o vetor m

definido pela marcao da RP; m=[m(p1) m(p2) ... M(pn)].
O vetor de estado RP de n posies de dimenso n e
discreto em amplitude, isto , pertence ao In.
m'(pi)=m(pi) - w(pi, tj) + w(tk, pi),
para j tal que tj pi

e k tal que tk pi

Evoluo de uma Rede de Petri

Condies iniciais (1 0 0 2 1) que habilitam simultaneamente t1, t3
e t4;
Trs diferentes seqncias de execuo, levam a uma mesma
marcao (0 1 2 3 1). Portanto no h conflito do tipo confuso.

57

EPUSP

Classes e Propriedades das Redes de Petri

Grafos marcados ou grafos de eventos: Rede de Petri

ordinria em que cada posio tem exatamente uma transio
de entrada e uma de sada:
p = p = 1

pp

Mquinas de Estado: Rede de Petri ordinria em que cada

transio tem exatamente uma posio de entrada (cardinalidade
do pr-set igual a 1) e uma posio de sada (cardinalidade do
ps-set igual a 1):
t =t = 1

t T

58

EPUSP

Alcanabilidade
O estado x alcanvel a partir de um dado estado x0,
se x pode resultar de uma ou mais transies executadas
a partir de x0.
O conjunto de todos os estados alcanveis a partir de x0
o conjunto de alcanabilidade R (x0).
Na RP da Figura abaixo, x0 = [10]; x = [01] alcanvel
de x0, via t1 ; [01] alcanvel via execuo de t3

59

EPUSP

Propriedades das Redes de Petri

Limitao
Uma posio p P de uma RP, (P, T, A, W, x0), dita k-limitada se
x(p) k para todas as marcaes subseqentes a x0.
Se todas as posies de uma RP so k-limitadas, ento a rede klimitada.
Uma RP segura (safe) se ela k-limitadas com k = 1

Conservao
Soma total das marcas permanece constante na sua execuo dita
conservativa.

Vivacidade e Conflito Mortal

Uma transio viva, dado um estado inicial x0, se e somente se ela
habilitada a partir de algum estado decorrente de x0.
Uma RP viva, dado um estado inicial x0, se e somente se todas as
suas transies so vivas.

60

EPUSP

Anlise pelas Matrizes de Incidncia

e Equaes de Estado

Recordando o que dissemos sobre a equao das RPs, tem-se:

a)

a execuo de uma transio tj numa RP de n posies (P, T,

A, W, x0) ocorre se e somente se a marcao x (pi) peso do
arco w(pi , tj), para pi pr-set de tj.

b)

a marcao x de cada posio pi alterada para x', pela

execuo de tj; algebricamente, pode-se escrever para pi
P,
x'(pi) = x (pi) - w(pi , tj)

(se pi pr-set de tj)

= x (pi) + w(tj ,pi)

(se pi ps-set de tj)

= x (pi) nos outros casos,

em que
w(pi , tj) so os pesos dos arcos de pi a tj, em que pi so as
posies do pr-set de tj , e
w(tj , pi ) so os pesos dos arcos de tj a pi, em que pi so as
posies do ps-set de tj.
Ver figura abaixo:

61

EPUSP

A matriz de incidncia de uma Rede de Petri, de n posies

e m transies, a matriz n x m,
A = [aij], de nmeros inteiros aij, em que
aij = w(tj ,pi),

(para pi ps-set de tj)

aij = - w(pi , tj),

(para pi pr-set de tj)

aij = 0 se no existe arco algum entre pi e tj

Exemplo:

A matriz de incidncia ser dada por:

62

EPUSP

Anlise por Simulao Digital

Visual Object Net ++

Rainer Drath, da Ilmenau University of
Technology, Ilmenau, Alemanha

Elementos
Transio T: habilitada e disparada conforme as regras
usuais; pode receber a atribuio de um tempo fixo de atraso

de disparo.
Posio P: o nmero de marcas m aparece no interior do
crculo.
Arco: h 3 tipos de arco, o normal, o inibidor, e o de teste
esttico ou de sinalizao

(no permite transporte de

marcas).

63

EPUSP

Anlise por Simulao Digital

Visual Object Net ++

Programao
Tela de Desenvolvimento:

64

EPUSP

Anlise por Simulao Digital

Visual Object Net ++

Programao
Simulao
-Start na barra superior da tela
-Na barra Extras as seguintes opes so disponibilizadas:
-Conflict Groups: mostra os conflitos, caso existam.
-Enabled D-Transitions: mostra as transies discretas
habilitadas.
-Enabled C-Transitions: mostra as transies contnuas
habilitadas.

65

EPUSP

Anlise por Simulao Digital

Visual Object Net ++

Programao
Simulao
-Start na barra superior da tela
-Na barra Panel as seguintes opes so disponibilizadas:
-Passo a Passo
-At o Prximo Evento
-Automtica: Neste caso, a velocidade ajustvel
-Max-speed: maior velocidade possvel de simulao,
porm a animao grfica suprimida.

66

EPUSP

Anlise por Simulao Digital

Visual Object Net ++

Programao
Simulao
-Start na barra superior da tela
-Na barra Properties as seguintes opes so disponibilizadas:
-Show Animations: exibir animaes.
-Show Time: exibir o tempo real no mostrador inferior.
-Auto Stop After Time: simulao para aps o tempo
estipulado no mostrador.

67

EPUSP

Anlise por Simulao Digital

Visual Object Net ++

Exemplo: Um processo de produo e inspeo com

retrabalho das peas defeituosas.

68

EPUSP

Processos de Modelamento

1) Processo por Agrupamento - Botton-up

- reunio gradual de sub redes representativas de partes
do sistema.

Objetivo: - redes para descrever subsistemas simples

- so agrupados formando o modelo final

A) Estoque intermedirio limitado (buffer)

entre mquinas A e B.
pB possui no mximo K elementos.

tA

pB

tB

K
pV

69

EPUSP

B) Estoque intermedirio (buffer)comando pela

mquina B
A

tA

pB

tB

tC

K
PV

Puf

Quando B fica livre, puxa uma pea de pB.

O nmero mximo de peas do buffer intermedirio
K.
Nesta configurao tA < tB (condio para o buffer).
Observar que, se o buffer estiver cheio (pB=K) e
existir uma pea em A, a transio tA no executada.

70

EPUSP

Execuo de tA:
A

tA

pB

tB

tC

Execuo de tC:
A

tA

pB

tB

tC

9
Puf

PV

Execuo de tB:
A

tA

pB

tB

10
PV

tC

71
Puf

EPUSP

C) Overflow
Objetivo interromper as atividades da mquina A
quando o buffer est cheio.

Os arcos e transies adicionados simulam um

intertravamento da mquina A atravs de um sensor de
overflow.

Exemplo: Empilhamento mximo de 4 peas

Pea

S1 atuado

Pea
Pea
Equip
A

Pea

Equip
B

Equip
C

parado
72

EPUSP

D) Buffer First-in / First-out

73

EPUSP

O Buffer First-in / First-out mais encontrado a

esteira.

Equip
A

Equip
B

74

EPUSP

E) Recursos compartilhados com sincronizao:

Objetivos: Simulao de uma mquina que atende a duas
linhas de produo ou duas atividades. T1 e t2 pertencem
rotina de sincronizao.

1)

3)

5)

t1

t3

t5

t2

t4

t6

t1

t3

t5

t2

t4

t6

t1

t3

t5

t2

t4

t6

2)

4)

t1

t3

t5

t2

t4

t6

t1

t3

t5

t4

t6

t1

t3

t5

t2

t4

t6

t2

6)

75

EPUSP

F) Rede de escolha automtica de servidor

Objetivo: Simulao de atendimento seqencial

76

EPUSP

Exemplo: Atendimento bancrio com 3 caixas.

2)

10

3)

4)

77

EPUSP

2) Processo por Refinamento - Top-down

- detalhamento gradual de redes por meio da

substituio de transies ou posies por

subredes
Refinamento de Transies
A) Bloco: uma RP (P, T, A, W, X0) com uma
transio de entrada ti e outra de sada tf.
B) Rede associada ao bloco: formada pela adio
de uma posio p0 em realimentao, de tf para ti,
tendo po uma marca inicial.
C) Bloco bem formado: quando a rede associada
viva

Quando uma transio de uma RP qualquer

substituda por um bloco bem-formado, a RP
resultante ser limitada, segura ou viva se e
somente se a RP original for, respectivamente,
limitada, segura ou viva.
78

EPUSP

Refinamento de posies

A) mdulo seqncia e mdulo paralelo

B) mdulo de excluso mtua

Se uma posio p de uma rede VST (viva,

segura e reversvel) substituda por um dos
mdulos acima, com as marcaes iniciais
acima, a RP resultante tambm VSR.
79

EPUSP

Algoritmo para Modelamento Top-down

Passo 1. Escolha uma RP VSR para o sistema a eventos, pelo
esquema da figura abaixo. As posies marcadas inicialmente
so de recursos. As no-marcadas so subsistemas que
operam concorrencialmente, isto , em paralelo. As transies
so incio e fim do processo.
Passo 2. Substitua as posies de operao (marcas podem
ser nulas) por mdulos bsicos, at que o detalhamento esteja
suficiente. Em cada estgio de substituio, adicione as
posies de recursos que forem necessrias, conforme a ltima
propriedade enunciada acima.
Passo 3. Elimine as posies redundantes eventualmente
existentes.

80

EPUSP

Simulao em Redes de Petri e Programao

Ladder
A seguir so exemplificadas duas maneiras de
transformao de uma rede de Petri em linguagem
de programao ladder.
Em b, apresenta-se a implementao com sinais de
sada no retentivos. Em c, so utilizados os sinais
de Set/Reset.

81

EPUSP

Representao de Redes de Petri em

Linguagem de Programao Ladder

A seguir encontram-se as rotinas mais

comuns utilizadas em Redes de Petri e sua
transformao em Lgica Ladder.

Lgica E
Se A=1 e B=1 e C=1,
Ento D=1.
A

C
A

Lgica OU
Se A=1 ou B=1 ou C=1,
Ento D=1.
A

B
C
D
82

EPUSP

Representao de Redes de Petri em

Linguagem de Programao Ladder

Concorrncia
Se A=1 e B=1,
Ento C=1 e D=1 e E=1.
A

C
D
E

Atraso
Se A=1,
Ento aps segundos B=1.
A
A

Timer

Timer.Done

83

EPUSP

Representao de Redes de Petri em

Linguagem de Programao Ladder

Sincronizao
Se A=1,
Ento aps 1 segundos D=1.
Se B=1 e C=1,
Ento aps 2 segundos E=1.
Se D=1 e E=1,
Ento aps 3 segundos F=1.
A

Timer1

Timer1.Done

Timer2

Timer2.Done

Timer3

Timer3.Done

F
84

EPUSP

Representao de Redes de Petri em

Linguagem de Programao Ladder

A seguir so exemplificadas duas maneiras de

transformao de uma rede de Petri em linguagem
de programao ladder.
Em b, apresenta-se a implementao com sinais de
sada no retentivos. Em c, so utilizados os sinais
de Set/Reset.

85