Professional Documents
Culture Documents
MONTES CLAROS
2006
CAETANO PEREZ CREPALDI
MONTES CLAROS
2006
CAETANO PEREZ CREPALDI
__________________________________
Prof. Msc. Clarimundo M. Moraes Jnior
Orientador
Departamento de Cincias da Computao
Universidade Estadual de Montes Claros
__________________________________
Prof. Msc. Jos Expedito de Freitas
Departamento de Cincias da Computao
Universidade Estadual de Montes Claros
__________________________________
Prof Msc. Marile Patta e Silva
Departamento de Cincias da Computao
Universidade Estadual de Montes Claros
MONTES CLAROS
2006
Dedico minha me, Suely, e minha
namorada Isabela, sem as quais seria
impossvel concluir este trabalho.
AGRADECIMENTOS
1. INTRODUO .................................................................................... 14
2. REDES DE PETRI............................................................................... 17
2.1. APRESENTAO......................................................................... 17
2.1.1. Elementos de uma RdP......................................................... 17
2.1.2. Evoluo da Rede ................................................................. 17
2.2. CONCEITOS: FORMAL E GRFICO............................................ 20
2.2.1. Definio Formal ................................................................... 20
2.2.2. Rede Marcada........................................................................ 21
2.3. REPRESENTAO GRFICA...................................................... 22
2.4. REPRESENTAO MATRICIAL .................................................. 23
2.5. DEFINIES E REGRAS DE DISPARO ...................................... 24
2.5.1. RdP Pura ................................................................................ 24
2.5.2. Transio Sensibilizada........................................................ 25
2.5.3. Disparo de uma Transio.................................................... 26
2.5.4. Conflito e Paralelismo........................................................... 27
2.5.5. Seqncia de Disparo ........................................................... 28
2.5.6. Marcaes Alcanveis ........................................................ 29
2.6. PROPRIEDADES.......................................................................... 31
2.6.1. Propriedades Comportamentais .......................................... 31
2.6.2. Propriedades Estruturais...................................................... 33
2.7. INVARIANTES E COMPONENTES .............................................. 34
2.7.1. Invariantes de Lugar e Componentes Conservativos ........ 35
2.7.2. Invariantes de Transio e Componentes Repetitivos....... 35
2.8. TCNICAS DE ANLISE .............................................................. 35
2.8.1. Anlise por Enumerao das Marcaes ............................ 36
2.8.1.1. rvore de Cobertura ......................................................... 36
2.8.1.2. Anlise Atravs do Grafo.................................................. 37
2.8.2. Anlise Estrutural.................................................................. 38
2.8.3. Anlise por Reduo............................................................. 38
2.8.3.1. Tcnicas de Reduo....................................................... 39
2.9. ASPECTOS DA MODELAGEM..................................................... 41
4.1. O SISTEMA................................................................................... 51
4.1.1. Definies .............................................................................. 51
4.1.2. Caractersticas e Funcionamento dos Componentes ........ 53
4.2. MODELAGEM ............................................................................... 54
4.2.1. Diagrama de Implantao ..................................................... 54
4.2.2. Diagrama de Estado .............................................................. 55
4.2.3. RdP......................................................................................... 56
4.2.3.1. Condies e Aes ........................................................... 56
4.2.3.2. Relaes ........................................................................... 57
4.2.3.3. Representao Grfica ..................................................... 58
4.2.3.4. Evoluo da Rede............................................................. 59
5. CONCLUSES ................................................................................... 62
1. INTRODUO
Mesmo sendo a representao grfica uma vantagem das RdP, a caracterstica mais
relevante do modelo o formalismo. Este aspecto garante uma grande vantagem
sobre os outros modelos, pois, possvel obter informaes precisas sobre o
comportamento do sistema modelado atravs da anlise de suas propriedades
(CARDOSO; VALLETE, 1997).
Alm das RdP Temporizadas podemos citar outros modelos desenvolvidos a partir
do modelo original como as RdP Coloridas, RdP Hierrquicas, Rdp Generalizadas,
RdP com Capacidade Finita, RdP Contnuas e as RdP Estocsticas.
Para elaborao deste trabalho foi realizado primeiramente um estudo com base em
pesquisa bibliogrfica e documental, foram utilizados como fonte de pesquisa livros,
artigos, dissertaes de mestrado e teses de doutorado bem como materiais
16
O captulo 4 apresenta um estudo de caso com a aplicao das Redes de Petri para
modelagem e anlise de um sistema computacional, tomando como exemplo uma
simplificao de um sistema Cliente/Servidor.
2. REDES DE PETRI
2.1. APRESENTAO
Uma RdP composta por quatro elementos, so eles: os lugares, que representam
uma condio, uma atividade, um estado parcial, uma posio geogrfica ou um
recurso; as fichas, que indicam quando a condio associada ao lugar verdadeira;
as transies, que representam um evento que ocorre no sistema e; os arcos, que
indicam os lugares de entrada ou sada para as transies, so representados
graficamente por um crculo, por um ponto no lugar, por um retngulo e por ligaes
orientadas entre um lugar e uma transio, respectivamente (PENHA et al, 2004)
(CARDOSO; VALLETE, 1997).
(disparo da transio), uma ficha desse lugar. E da mesma forma, um arco com
origem numa transio e fim num lugar (arco de sada), indica que a transio
coloca, quando do seu disparo, uma ficha nesse lugar. Enfim, os arcos demonstram
o sentido em que as fichas se deslocam de um lugar a outro, sempre passando por
uma transio.
Figura 2.3: RdP Peso Associado aos Arcos (1) / PENHA et al, 2004
Figura 2.4: RdP Peso Associado aos Arcos (2) / PENHA et al, 2004
P T= os conjuntos P e T so disjuntos;
N: o conjunto dos nmeros naturais.
21
Onde:
mj = o nmero de fichas do lugar pj.
22
Sendo:
M(p1) = 0
M(p2) = 0
M(p3) = 1
Uma RdP pode ser vista como um grafo com dois tipos de ns: ns lugares e ns
transies; e orientado, definido por R = (P, T, Pr, Ps, M0), onde P um conjunto
de lugares representado por crculos, T um conjunto de transies representado
por barras, Pr a relao de precedncia aplicada sobre PxT, Ps a relao de
poscedncia aplicada sobre TxP, e M representa a marcao dos lugares atravs de
fichas (pontos pretos) no interior de cada lugar.
Pr (p1, t1) = 1;
Pr (p3, t2) = 2;
Pr (p2, t2) = 0;
Ps (p1, t1) = 0;
Ps (p3, t1) = 2;
Ps (p4, t2) = 0;
M0 = [ 1 2 0 1 0] T.
p P t T Pr(p, t) Ps(p, t) = 0,
isto , nenhuma transio possui, ao mesmo tempo, um mesmo lugar como sada e
como entrada. A figura 2.8 mostra um exemplo de RdP Pura e outro de uma RdP
Impura:
25
T
Para a marcao inicial M0 = [ 1 2 0 1 0] da figura 2.7, a transio t1 est
sensibilizada e a transio t2 no est sensibilizada pois:
Para t1:
M(p1) = 1;
Pr(p1, t1) = 1;
Ps(p1, t1) = 0.
Tm-se ento:
M(p1) = 1 - 1 + 0.
M(p1) = 0.
s = t1 t2 t3 ... tn.
Mo M2.
Para a figura 2.10 tem-se a seguinte seqncia de disparo s = t1 t2 t3, um tiro nesta
seqncia leva, da marcao inicial M0 = [ 1 0 0] T, mesma marcao M0:
29
M = M - Pr.S + Ps.S,
O conjunto das marcaes que podem ser alcanadas atravs de uma seqncia de
disparo s a partir de uma marcao inicial denominado de marcaes
alcanveis de uma RdP e denotado por A(R, M):
Este conjunto pode ser representado na forma de um grafo denotado por GA(R, M).
Se existe uma transio t sensibilizada que permite evoluir de uma marcao Mi a
uma marcao Mj ento, um arco orientado, etiquetado pela transio t, liga dois ns
deste grafo: Mi e Mj.
Mi Mj.
Atravs deste grafo possvel extrair quantos estados e marcaes podem ser
alcanados em uma RdP e, permite definir que tipo de notao pode ser utilizada
para cada uma dessas marcaes. As marcaes so representadas por ns e os
disparos das transies por arcos, sendo a marcao inicial o n raiz (PALOMINO,
2001).
A figura 2.11 mostra o grafo GA(R, M) para a RdP representada na figura 2.10:
Para este exemplo, a RdP possui um conjunto de marcaes alcanveis finito com
trs marcaes: (M0, M1, M2).
31
2.6. PROPRIEDADES
Alcanabilidade
Se existir uma seqncia de disparos s que leve a uma marcao M a partir da
marcao inicial M0 ento esta uma marcao alcanvel. Se todas as
marcaes alcanveis forem atingidas a partir da marcao inicial a RdP dita
alcanvel.
Limitao
Considerando um nmero inteiro k qualquer, uma RdP limitada se em cada um
dos lugares da rede a quantidade de fichas no ultrapassar o valor de k. Ento, a
rede dita k-limitada.
32
Segurana
Esta propriedade complementa a propriedade Limitao. Uma RdP dita segura
se para todas as marcaes alcanveis todos os lugares da rede possurem no
mximo uma ficha cada um.
Vivacidade
Indica que possvel disparar todas as transies a partir de qualquer uma das
marcaes alcanvel da rede. Isto , indica a inexistncia de transies mortas
e, conseqentemente, que a RdP est livre de impasses (deadlocks). Porm, a
verificao irrestrita desta propriedade torna-se muito cara por isso, pode-se
adotar nveis para verificao da vivacidade em uma rede (MARRANGHELLO,
2005):
- Transio Viva Nvel 4 (N4): Pode ser disparada ao menos uma vez,
em pelo menos uma seqncia de disparos, a partir de cada marcao
alcanvel. o nvel mais restrito;
- Transio Viva Nvel 2 (N2): Pode ser disparada k vezes, para um k >
1, em uma seqncia de disparos a partir da marcao inicial;
Cobertura
Indica que para toda marcao M, alcanvel a partir da marcao inicial,
existe outra marcao M, com o nmero de fichas em cada lugar maior ou
igual ao lugar correspondente em M, alcanvel a partir de M.
Persistncia
Indica que, havendo mais de uma transio sensibilizada, o disparo de uma
no impede o disparo das outras.
Reiniciabilidade
Uma RdP dita reinicivel se, a partir de qualquer marcao acessvel M
pertencente GA(R; M) existir uma seqncia de disparo s que possibilite
rede retornar sua marcao inicial M0.
Justia
Uma RdP justa se, para duas transies quaisquer, o nmero de vezes que
uma executada finito em relao s vezes que a outra no .
Limitao
Se uma RdP limitada estruturalmente para qualquer marcao inicial.
Conservao
Indica que o nmero total de marcas na RdP no se modifica de acordo com
a evoluo da rede, isto , para todas as marcaes alcanveis a partir da
marcao inicial este nmero permanece constante.
Repetitividade
Se existe uma seqncia de disparos, para qualquer marcao alcanvel,
em que todas as transies so disparadas infinitas vezes ento, a RdP
repetitiva. Se apenas algumas transies, em determinada seqncia de
disparos, so disparadas infinitas vezes ento a RdP parcialmente
repetitiva.
Consistncia
Uma RdP consistente se ao executar uma seqncia de disparos s , a
partir de uma marcao inicial M0, for possvel retornar a esta marcao
disparando pelo menos uma vez cada transio da rede.
Quando, em uma RdP qualquer, a partir da marcao inicial M0, verificada que,
para toda marcao pertencente ao conjunto de marcaes acessveis, a soma de
M(pi) com M(pj) seja igual a soma de M0(pi) com M(pj). Isto , ao ser disparada uma
transio t, tendo como entrada o lugar pi e sada o lugar pj, a quantidade de fichas
nesses lugares no se altera.
A forma linear M(pi) + M(pj) = M0(pi) + M(pj) chamada de invariante linear de lugar,
e o conjunto desses lugares forma um componente conservativo da rede
(CARDOSO; VALLETE, 1997).
Este mtodo serve apenas para uma determinada marcao inicial, portanto, para
outra marcao inicial em uma mesma RdP necessrio a construo de um novo
grafo.
Este algoritmo cria um novo ramo para cada transio sensibilizada atravs da
marcao inicial. As marcaes obtidas com esses disparos so calculadas dando
inicio a um novo processo para cada uma dessas marcaes.
37
Caso seja encontrada, na construo de um novo ramo, uma marcao igual a outra
j calculada e para a qual todos os ramos sucessores j foram ou sero calculados,
o processo ento interrompido. O mesmo acontece se for encontrada uma
marcao estritamente superior a uma marcao do ramo que est sendo explorado,
neste interrompida, tambm, a explorao da rvore, pois a rede pode no ser
limitada.
Ainda em Palomino (2001) definido que este tipo de anlise utiliza a matriz de
incidncia das RdP, vista no item 2.4, para verificao das propriedades estticas da
rede e restrita s RdP puras.
a) Uma RdP limitada, se para todos os lugares da rede, estes lugares fazem
parte de um algum invariante de lugar;
3.1. INTRODUO
Ainda exposto por Barros (1996, p. 39) que o modelo original da RdP falha na
representao de duas importantes caractersticas: aspectos funcionais complexos,
tais como condies que determinam o fluxo de controle, e os aspectos de
temporizao.
3.2. ABREVIAES
uma RdP onde pesos, inteiros positivos, so associados aos arcos. Ou seja, para
um arco, com peso igual a trs, que liga um lugar p a uma transio t significa que: o
disparo de t s pode ocorrer se p possuir no mnimo trs fichas, ento so retiradas
as trs fichas de p.
A figura 3.1 mostra um exemplo de RdP Generalizada, onde o arco p1 t1 tem peso
igual a trs e o arco t1 p2 tem peso igual a um (quando o peso for igual o mesmo
omitido). A transio t1 est sensibilizada pois, a lugar p1 possui exatamente o
nmero de fichas necessrias para dispar-la (trs). Quando do disparo de t1 as trs
fichas sero retiradas de p1 e ser colocada apenas uma ficha em p2.
Sua principal caracterstica a limitao de fichas por lugar, isso , a cada lugar
associado um valor correspondente quantidade de fichas que possam estar
presentes dentro do lugar.
3.3. EXTENSES
As RdP com arcos inibidores, tambm chamadas de RdP Estendidas, foi criada para
dar soluo ao problema de priorizao, encontrado quando duas transies esto
em conflito.
Diferencia-se da RdP Ordinrias pelo tipo de marcao, que passa a ser feita com
nmeros reais positivos e no mais por nmeros inteiros positivos. Os disparos das
transies ocorrem de forma contnua e para diferenci-la mais facilmente das RdP
Ordinrias, normalmente, os lugares so representados por dois crculos. J as
transies e os arcos mantm suas respectivas representaes.
So utilizadas em sistemas cuja modelagem no pode ser realizada com RdP
Ordinria ou quando o nmero de marcaes de uma RdP Ordinria se torna
extremamente alto (PALOMINO, 1995).
Em uma das RdP apresentadas at agora possvel saber qual transio ser
disparada pelo simples fato de estar sensibilizada ou no mas no se sabe quando
isso ir ocorrer. Nas RdP Sincronizadas so associados s transies eventos
externos, que habilitam o disparo de uma transio, desde que esta esteja
sensibilizada pela fichas. A figura 3.3 mostra um exemplo de modelagem com RdP
Sincronizada.
Porm, Cardoso e Vallete (1997, p. 147) afirmam que esta associao de tempo
transio s tem sentido se a transio interpretada como uma atividade e no
como um evento instantneo, j que existe um retardo no disparo da transio.
A figura 3.4 mostra a substituio de uma transio por uma seqncia transio-
lugar-transio. Neste exemplo a transio t1 corresponde ao incio da atividade, o
48
associado a cada transio um intervalo de tempo (tempo min, tempo max). Diferente
do que ocorre nas RdP T-Temporizadas, o disparo da transio instantneo mas,
para se concretizar, a transio deve estar sensibilizada por um perodo de no
mnimo igual a tempo min, e no mximo igual a tempo Max.
50
A figura 3.6 mostra o exemplo apresentado na figura 3.3, agora utilizando o modelo
de RdP Temporal. Neste exemplo uma impressora mantm seu status como livre
(lugar p1) por um perodo de 10 segundos ou at algum documento ser enviado para
impresso (entre 0 e 10 segundos). Havendo ou no solicitao de impresso, a
impressora muda seu status para ocupada (lugar p2) e o mantm por 10 segundos
(tempo mdio de impresso), voltando logo aps este perodo ao status de livre e
recomeando o processo.
4.1. O SISTEMA
4.1.1. Definies
As sadas analgicas e digitais podem ser manipuladas pelo usurio via teclado, que
ter as seguintes opes: incrementar e decrementar cada sada analgica e setar e
ressetar cada sada digital. Os valores, para cada entrada e sada, analgica e
digital, so mostrados na tela do CLP a cada 1 segundo.
4.2. MODELAGEM
Foi escolhido para exemplificao o diagrama de estado devido sua linguagem ser
muito semelhante s RdP. Isso possibilitar uma comparao entre os dois tipos de
modelagem.
Atravs da figura 4.4 acima possvel concluir que o diagrama de estado bastante
eficiente na representao dos estados do sistema, contudo, apenas em seu o
aspecto esttico sem considerar a dinmica do sistema.
4.2.3. RdP
CLP
CONDIES
P1 = PARADO
P2 = EXECUTANDO
P3 = DADOS LIVRES
P4 = LENDO DADOS E EXIBINDO NO MONITOR
P5 = ENVIANDO DADOS AO SERVIDOR
P6 = ALTERANDO DADOS ANALGICOS/DIGITAIS
AES
T1 = INICIAR
T2 = FINALIZAR
T3 = LER DADOS
T4 = ENVIAR DADOS AO SERVIDOR
T5 = ENCERRAR LEITURA E LIBERAR DADOS
T6 = ALTERAR DADOS
T7 = ENCERRAR ESCRITA E LIBERAR DADOS
Tabela 4.1: Condies e Aes do CLP
4.2.3.2. Relaes
T1 T2 T3 T4 T5 T6 T7
P1 1 0 0 0 0 0 0
P2 0 1 0 0 0 0 0
P3 0 1 1 0 0 1 0
P4 0 0 0 1 0 0 0
P5 0 0 0 0 1 0 0
P6 0 0 0 0 0 0 1
Tabela 4.2: CLP - Matriz Pr
A tabela 4.3 mostra a relao das transies com seus respectivos lugares de sada
do componente CLP, definida anteriormente como matriz de sada Ps:
58
T1 T2 T3 T4 T5 T6 T7
P1 0 1 0 0 0 0 0
P2 1 0 0 0 0 0 0
P3 1 0 0 0 1 0 1
P4 0 0 1 0 0 0 0
P5 0 0 0 1 0 0 0
P6 0 0 0 0 0 1 0
Tabela 4.3: CLP - Matriz Ps
Um das principais vantagens das RdP a sua representao grfica pois, possibilita
uma anlise visual simples dos estados do sistema quanto sua dinmica, ou seja,
possvel acompanhar a evoluo do sistema atravs do modelo.
A figura 4.5 mostra a RdP do CLP para a marcao inicial M1 = [ 1, 0, 0, 0, 0, 0], esta
marcao indica que o sistema est parado e que, apenas a transio t1 est
sensibilizada:
5. CONCLUSES
A modelagem feita neste trabalho, apesar de no ter sido realizada para o sistema
todo, mostra a sua eficcia, principalmente no acompanhamento dinmico do
subsistema escolhido. Vale ressaltar que o acompanhamento da dinmica do
sistema atravs de um modelo compacto no possvel em boa parte das
ferramentas tradicionais.
REFERNCIA BIBLIOGRFICA