Você está na página 1de 31

REDES DE PETRI

Introduo;
Conceitos Bsicos;
Execuo de RP;

Prof. Igor Prado

CET1228 - AUTOMAO INDUSTRIAL - PROF. IGOR PRADO


04/08/2017 1
Modelagem de Sistemas
Em muitas reas de estudo, um fenmeno
no estudado diretamente, mas atravs de
um modelo.
Um modelo uma representao,
frequentemente em termos matemticos, do que
parecem ser as principais caractersticas do
objeto ou sistema sob estudo.
As principais caractersticas de muitos
fenmenos fsicos podem ser descritas
numericamente e as relaes entre
essas caractersticas podem ser descritas
por equaes ou desigualdades.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 2
Modelagem de Sistemas
Para utilizar o conceito de modelagem
necessrio um conhecimento tanto dos
fenmenos modelados quanto das
propriedades das tcnicas de
modelagem.
possvel modelar sistemas cada vez mais
complexos e maiores representando-os por
um modelo matemtico, convertendo
o modelo em instrues para um
computador e executando-as.
CET1228 - AUTOMAO INDUSTRIAL -
04/08/2017 PROF. IGOR PRADO 3
Modelagem de Sistemas
Os componentes de um sistema
apresentam concorrncia ou paralelismo.
Atividades de um componente podem
ocorrer simultaneamente com outras
atividades de outros componentes.
Num sistema computacional, temos, por
exemplo, os dispositivos perifricos, que
podem operar concorrentemente, sob
controle do computador.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 4
Modelagem de Sistemas
Uma vez que os componentes dos
sistemas interagem, necessrio que haja
sincronismo.
A transferncia de informao de um
componente para outro requer que as
atividades dos componentes envolvidos sejam
sincronizadas, enquanto a interao estiver
acontecendo. Isto pode resultar em um
componente ficar esperando pelo outro.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 5
Modelagem de Sistemas
A temporizao das aes de diferentes
componentes pode ser muito complexa e
as interaes resultantes entre
componentes podem ser difceis de
descrever.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 6
REDE DE PETRI - RP
Mtodo de estudo dos sistemas
dinmicos a eventos discretos;
uma ferramenta para a modelagem e
projeto de sistemas, utilizando uma
representao matemtica e grfica do
sistema.
A anlise da rede de Petri permite avaliar
a estrutura e o comportamento dinmico
do sistema modelado.
CET1228 - AUTOMAO INDUSTRIAL -
04/08/2017 PROF. IGOR PRADO 7
REDE DE PETRI - RP
Qualidades de uma RP
Capturam relaes de precedncia e os
vnculos estruturais dos sistemas reais;
So graficamente expressivas;
Modelam conflitos e filas;
Tem fundamento matemtico e prtico;
Admitem vrias especializaes.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 8
REDE DE PETRI - RP
Uma RP um grafo orientado que tem
dois tipos de ns, arcos e marcas
Transies
Marca Arco

Condio Ao Resultados
Inicial

Posies

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 9
Exemplo de RP
Uma cadeia de lanchonetes que introduzir
suco de laranja dentro dos produtos
fornecidos a seus clientes.
Atividade
Fazer o suco
Objetivo
Cliente Satisfeito

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 10
Exemplo de RP

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 11
Exemplo de RP

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 12
REDE DE PETRI - RP
Uma RP uma quntupla: (P,T,A,W, m0)
P = {p1, p2, ..., pn} um conjunto finito de
posies ou lugares;
T = {t1, t2, ..., tn} um conjunto de transies;
A = um conjunto finito de arcos
pertencente ao conjunto (P x T) U (T x P);
W = a funo que atribui um peso w
(nmero inteiro) a cada arco.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 13
REDE DE PETRI - RP
Uma RP uma quntupla: (P,T,A,W, m0)
m0 = um vetor cuja a i-sima coordenada
define o nmero de marcas (tokens) na posio
pi, no incio da evoluo da rede.
n = |P| a cardinalidade do conjunto P, ou seja
o nmero de posies da RP;
m = |T| o nmero de transies da RP.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 14
REDE DE PETRI - RP
Ao modelar processos industriais, as
marcas (tokens) so utilizadas para
representar quantidades de entidades,
recursos ou peas, residentes nas
posies ou movidas atravs das
transies.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 15
Exemplo 1
Seja uma RP definida conforme a
quntupla Q= (P,T,A,W, m0) onde:
P={p1, p2};
T={t1};
A={(p1, t1),(t1, p2)};
W=w(p1, t1)=2 , w(t1, p2)=1;
m0 =[1 1]
Defina sua representao grfica.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 16
REDE DE PETRI - RP
Pr-set
Pr-set de t = *t = { pi P / (pi,t) A}
O pr-set de t o conjunto das posies em P a
partir das quais existe arco para a transio t.
Ps-set
Ps-set de t = t* = { pi P / (t,pi) A}
O ps-set de t o conjunto das posies em P
para as quais existe arco oriundo da transio t.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 17
Execuo das Redes de Petri
Uma RP executada atravs do disparo
de transies. Uma transio dispara
removendo tokens dos seus lugares de
entrada e criando novas fichas, que so
distribudas nos seus lugares de sada.
Habilitao
Uma transio ti T numa RP habilitada por
um token m se ocorre que, para todo pi *t,
m(pi,tj), isto , (marcao em pi) (peso do
arco de pi a tj)

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 18
Execuo das Redes de Petri
Disparo de Transio
Uma transio disparada por meio de duas
opes:
Remoo das marcas das posies do pr-set
(observando o peso dos arcos);
Depsito, em cada uma das posies dos ps-set,
(observando o peso dos arcos).
Transio
Habilitada Transio
Disparada

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 19
Execuo das Redes de Petri
Nmero total de marcas (tokens) pode
mudar durante a execuo.
2 2

2 3 2 3

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 20
Execuo das Redes de Petri
Conflito, ocorre quando vrias transies
esto habilitadas simultaneamente, a
execuo deve ser feita uma a uma.
(Escolha aleatria)

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 21
Execuo das Redes de Petri
Conceito de Estado
O estado de uma RP de n posies p1, p2, p3,
..., pn o vetor m, definido pela marcao da
RP:

Cada disparo produz uma alterao no vetor


de estado

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 22
Execuo das Redes de Petri
Exemplo: A figura mostra uma RP com
determinadas condies iniciais (1 0 0 2 1) que
habilitam simultaneamente t1, t3 e t4. Verificar se
h conflito.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 23
Execuo das Redes de Petri
Exemplo: A figura mostra uma RP com
determinadas condies iniciais (1 0 0 2 1) que
habilitam simultaneamente t1, t3 e t4. Verificar se
h conflito. p1 p2 p3 p4 p5
Transies
habilitadas
Marcao Inicial 1 0 0 2 1 t1,t3,t4
Execuo t4 1 0 1 3 0 t1,t3
Execuo t1 0 1 2 5 0 t2,t3
Execuo t3 0 1 2 3 1 t2,t3,t4
Execuo t3 1 0 0 0 2 t1,t4
Execuo t4 1 0 1 1 1 t1,t4
Execuo t1 0 1 2 3 1 t2,t3,t4
Execuo t1 0 1 1 4 1 t2,t3,t4
Execuo t3 0 1 1 2 2 t2,t3,t4
Execuo t4 0 1 2 3 1 t2,t3,t4
CET1228 - AUTOMAO INDUSTRIAL -
04/08/2017 PROF. IGOR PRADO 24
Execuo das Redes de Petri
Representao Algbrica do disparo
Exprime o efeito do disparo de transies sobre
os nmeros de marcas nas posies adjacentes;
ela exprime a marcao posterior m(pi), de cada
posio pi, em funo da sua marca anterior m(pi)
e dos pesos dos arcos envolvidos no disparo.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 25
Execuo das Redes de Petri
Concorrncia de peas em linha de
produo

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 26
Execuo das Redes de Petri
Recursos compartilhados

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 27
Posies e Transaes Temporizadas
As RPs temporizadas permitem introduzir
o fator tempo.
Transaes Temporizadas
Tempo de Disparo: o tempo que deve
decorrer entre o incio e o fim da execuo
da transio;
Tempo de Parada: o tempo em que um
marca deve permanecer em uma posio
antes que possa contribuir para a habilitao
de transies.
CET1228 - AUTOMAO INDUSTRIAL -
04/08/2017 PROF. IGOR PRADO 28
Relaes entre RP e LADDER
Equivalncia entre RP e LADDER

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 29
Lista de Exerccios 1
Exerccios E8.1 at E8.8 (Desenvolver no
HPSim)
Em grupo Mesmo das atividades prticas.

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 30
Anlise das Redes de Petri
Classes
Propriedades
Segurana
Desempenho

CET1228 - AUTOMAO INDUSTRIAL -


04/08/2017 PROF. IGOR PRADO 31