You are on page 1of 66

UNIVERSIDADE ESTADUAL DE MONTES CLAROS

Centro de Cincias Exatas e Tecnolgicas


Departamento de Cincias da Computao
Curso de Sistemas de Informao

CAETANO PEREZ CREPALDI

REDES DE PETRI E SUA APLICABILIDADE NA MODELAGEM


DE SISTEMAS COMPUTACIONAIS

MONTES CLAROS
2006
CAETANO PEREZ CREPALDI

REDES DE PETRI E SUA APLICABILIDADE NA MODELAGEM


DE SISTEMAS COMPUTACIONAIS

Projeto Orientado de Concluso de Curso


apresentado ao Departamento de Cincias
da Computao da Universidade Estadual
de Montes Claros, como requisito parcial
para a concluso do curso de Sistemas de
Informao, orientado pelo Prof. Msc.
Clarimundo Machado Moraes Jnior.

MONTES CLAROS
2006
CAETANO PEREZ CREPALDI

REDES DE PETRI E SUA APLICABILIDADE NA MODELAGEM


DE SISTEMAS COMPUTACIONAIS

Aprovada em 04 de dezembro de 2006.

__________________________________
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

Ao meu orientador Clarimundo M. Moraes Jr.


pelo seu interesse e sua pacincia,
coordenadora do curso de Sistemas de
Informao Christine Martins de Matos por
sua compreenso bem como a todos os
professores com quem tive o prazer de
conviver.
A todos os amigos feitos durante estes anos
acadmicos, em especial a Isabela Veloso
Barros e Rodrigo Carlesso Silva.
E a todos aqueles sem os quais no chegaria
at aqui.
"A nica revoluo possvel dentro de
ns.
(Mahatma Gandhi)
RESUMO

As Redes de Petri (RdP) so uma ferramenta grfica e matemtica usada na


modelagem, anlise, simulao e controle de diversos tipos de sistemas. Atualmente
vm sendo amplamente desenvolvidos estudos sobre a sua aplicabilidade em sistemas
computacionais. Este trabalho tem como objetivo apresentar os principais conceitos e
caractersticas das RdP e sua aplicabilidade na modelagem de sistemas
computacionais. Foram introduzidos os conceitos e propriedades das RdP assim como
os seus principais tipos. Foi demonstrada, ainda, atravs de uma aplicao prtica, a
utilizao das RdP na modelagem de sistemas computacionais, tomando como exemplo
uma simplificao de um sistema Cliente/Servidor. Para tanto, foi realizada uma
pesquisa bibliogrfica e documental com base em fontes confiveis e, para um melhor
entendimento, foi apresentado um modelo de RdP para o sistema proposto. Verificou-se
a eficcia e a simplicidade na utilizao das RdP Ordinrias na modelagem de sistemas
computacionais. Contudo, foi observado que, dependendo do tipo de sistema a ser
modelado, mais indicada a utilizao de alguma variante do modelo original como as
RdP Coloridas ou as RdP Temporizadas.
LISTA DE FIGURAS

Figura 2.1: Rdp Elementos Bsicos .........................................................................17


Figura 2.2: RdP Marcao Inicial .............................................................................18
Figura 2.3: RdP Peso Associado aos Arcos (1) .......................................................19
Figura 2.4: RdP Peso Associado aos Arcos (2) .......................................................19
Figura 2.5: RdP Definio Formal ............................................................................21
Figura 2.6: RdP Marcada ............................................................................................22
Figura 2.7: RdP Definio Grfica............................................................................23
Figura 2.8: RdP Impura ...............................................................................................25
Figura 2.9: RdP Disparo de uma transio ..............................................................26
Figura 2.10: Seqncia de Disparo .............................................................................28
Figura 2.11: Grafo de Marcaes Alcanveis............................................................30
Figura 2.12: Fuso de Lugares em Srie ....................................................................39
Figura 2.13: Fuso de Transies em Paralelo...........................................................39
Figura 2.14: Fuso de Transies em Srie ...............................................................39
Figura 2.15: Fuso de Lugares em Paralelo ...............................................................40
Figura 2.16: Fuso de Lugares em Malha Fechada....................................................40
Figura 2.17: Fuso de Transies em Malha Fechada ...............................................40
Figura 3.1: RdP Generalizadas ...................................................................................43
Figura 3.2: RdP com Arco Inibidor ..............................................................................46
Figura 3.3: RdP Sincronizada .....................................................................................47
Figura 3.4: RdP T-Temporizadas ................................................................................48
Figura 3.5: RdP P-Temporizadas ................................................................................49
Figura 3.6: RdP Temporal ...........................................................................................50
Figura 4.1: Ilustrao do Sistema................................................................................51
Figura 4.2: CLP Exemplo .........................................................................................52
Figura 4.3: Diagrama de Implantao .........................................................................55
Figura 4.4: Diagrama de Estado .................................................................................56
Figura 4.5: CLP Representao Grfica ..................................................................58
Figura 4.6: CLP Marcao M2 ..................................................................................59
Figura 4.7: CLP Marcao M3 ..................................................................................60
Figura 4.8: CLP Marcao M2 ..................................................................................60
Figura 4.9: CLP Marcao M1 ..................................................................................61
LISTA DE TABELAS

Tabela 4.1: Condies e Aes do CLP......................................................................57


Tabela 4.2: CLP - Matriz Pr.......................................................................................57
Tabela 4.3: CLP - Matriz Ps ......................................................................................58
SUMRIO

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

3. VARIAES DAS REDES DE PETRI ................................................ 42

3.1. INTRODUO .............................................................................. 42


3.2. ABREVIAES............................................................................. 43
3.2.1. RdP Generalizadas................................................................ 43
3.2.2. RdP Coloridas ....................................................................... 43
3.2.3. RdP com Capacidade Finita ................................................. 45
3.3. EXTENSES ................................................................................ 45
3.3.1. RdP com Arcos Inibidores.................................................... 45
3.3.2. RdP Contnuas....................................................................... 46
3.3.3. RdP Hbridas.......................................................................... 46
3.3.4. RdP Sincronizadas................................................................ 47
3.3.5. RdP T-Temporizada............................................................... 47
3.3.6. RdP P-Temporizada .............................................................. 48
3.3.7. RdP Estocstica .................................................................... 49
3.3.8. RdP Temporal ........................................................................ 49

4. MODELAGEM COM REDES DE PETRI ............................................. 51

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

REFERNCIA BIBLIOGRFICA .............................................................. 64


14

1. INTRODUO

Com o objetivo de desenvolver um modelo para que mquinas de estado pudessem


se comunicar, Carl Adam Petri, ento aluno de doutorado, defendeu sua tese, em
1962, com o ttulo de Kommunikation mit Automaten (Comunicao com Autmatos).
O modelo recebeu o nome de Redes de Petri (RdP) em homenagem ao autor e
obteve como caracterstica mais relevante a representao da concorrncia.
Encontram-se atualmente variaes do modelo primitivo aplicadas em diversas
reas da cincia como biologia, engenharia, computao e economia (PENHA et al,
2004). Dentre suas diversas aplicaes na computao pode-se destacar a
modelagem de sistemas de tempo real, paralelos, assncronos e concorrentes.

Redes de Petri um modelo matemtico que possibilita uma representao grfica


ampla proporcionando uniformidade na modelagem, anlise e simulao de
sistemas a eventos discretos. Alm disso, permite uma visualizao simultnea da
sua estrutura e comportamento (BARROS, 1996). O mesmo autor (1996, p. 29)
afirma que as RdP modelam dois aspectos desses sistemas, eventos e condies,
bem como, as relaes entre eles. Os eventos correspondem s transies,
representadas por barras; e as condies correspondem aos lugares, representados
por crculos, e; juntamente com as fichas, representadas por pontos nos lugares e os
arcos, representados por uma ligao entre transies e lugares e vice-versa,
possuindo uma orientao especfica formam os elementos bsicos de uma RdP
(MORAES JNIOR, 2000).

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).

Desde a apresentao do modelo original, chamado de RdP Ordinrias, foram


desenvolvidos vrios trabalhos prticos e tericos sobre RdP que levaram ao
15

desenvolvimento de muitas variantes do modelo tendo em vista aplicaes


especficas.

Uma dessas variaes so as RdP Temporizadas, utilizadas na modelagem de


sistemas que apresentam como caracterstica a temporizao. Basicamente,
consistem em atribuir um determinado retardo de tempo a uma transio, RdP T-
Temporizadas; ou a um lugar, RdP P-Temporizada (PALOMINO, 1995).

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.

Diante deste contexto surgiu o seguinte problema: Qual a vantagem da utilizao de


RdP na modelagem de sistemas computacionais?

Assim, o presente trabalho, tem como objetivo geral apresentar os principais


conceitos e caractersticas das Redes de Petri e sua aplicabilidade na modelagem
de sistemas computacionais. E como objetivos especficos tem-se:

introduzir os conceitos e propriedades de Redes de Petri


citar os principais tipos de Redes de Petri
demonstrar atravs de uma aplicao prtica a utilizao das Redes de Petri
na modelagem de um exemplo de sistema Cliente/Servidor.

A aplicao de RdP na modelagem de sistemas computacionais cada vez maior,


visto que suas inmeras variantes so capazes de modelar sistemas com
caractersticas no raramente vistas na computao como: concorrncia, conflito,
compartilhamento, controle e sincronismo. Ainda proporciona uma anlise mais
simplificada ou, at, intuitiva. Alm de ser um modelo capaz de representar sistemas
que envolvam comportamentos probabilsticos e temporizaes.

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

desenvolvidos para o ensino do assunto em universidades de todo o pas. Todos os


materiais utilizados provm de fontes confiveis e seguras, eliminando assim a
possibilidade de no veracidade dos fatos apresentados nestes. Em um segundo
momento foi realizada a modelagem de um sistema computacional utilizando as RdP
com o intuito de demonstrar a funcionabilidade da mesma.

No captulo 2 apresenta-se uma introduo dos conceitos e propriedades das Redes


de Petri Ordinrias, ou modelo original, assim como tcnicas de anlise das
propriedades e aspectos relacionados sua modelagem.

No captulo 3 so apresentados os principais tipos de Redes de Petri desenvolvidos


para aumentar o poder de representao do modelo original.

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.

O captulo 5 mostra as concluses obtidas e algumas propostas para trabalhos


futuros.
17

2. REDES DE PETRI

2.1. APRESENTAO

2.1.1. Elementos de uma RdP

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).

Os elementos descritos acima so representados graficamente como na figura 2.1:

Figura 2.1: Rdp Elementos Bsicos / PENHA et al, 2004

2.1.2. Evoluo da Rede

Barros (1996) salienta que as transies so responsveis por colocar ou retirar as


fichas dos lugares, ou seja, fazer com que o sistema passe do estado atual para o
prximo, e que os arcos ligados a cada transio indicam sobre qual lugar esta atua.
Um arco com origem em um lugar e trmino em uma transio (arco de entrada)
indica que a transio retira, quando ocorre o evento associado quela transio
18

(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.

Sendo assim, a ocorrncia do disparo de uma transio s possvel se existirem


fichas nos lugares de entrada dessa transio.

A modelagem de um sistema atravs de uma RdP permite representar os estados


antes e depois de cada evento. A ficha o elemento responsvel por indicar o
estado de uma RdP num determinado instante. Ento, necessrio que uma RdP
possua uma marcao inicial que pode ser representada, conforme a figura 2.2,
atravs da notao (PENHA et al, 2004):

M = ( 0, 1) Sendo que o primeiro elemento representa a quantidade de


fichas no Lugar 1 e o segundo a quantidade de fichas no Lugar
2.

Figura 2.2: RdP Marcao Inicial

As RdP possuem um aspecto muito importante na modelagem do sistema, que vem


a ser a associao de peso a cada arco. As figura 2.3 e 2.4 mostram uma RdP com
pesos associados aos arcos.
19

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

As figuras acima mostram dois estados, ou marcaes, de cada um dos sistemas


representados, um inicial e outro final. Assim:

Marcao inicial da figura 2.3: M = (1, 1, 0);


Marcao final da figura 2.3: M = (0, 0, 2);
Marcao inicial da figura 2.4: M = (1, 1, 0);
Marcao final da figura 2.4: M = (0, 0, 1);
20

Existe um diferena bsica entre as RdP representadas pelas figuras acima: na


figura 2.3 o arco de sada de T1 possui peso igual a 2. Este peso o responsvel por
aparecerem duas fichas em P3. Na figura 2.4 todos os arcos tm peso igual a 1, por
isso colocada apenas uma ficha em P3. Ou seja, as marcaes de sada so
baseadas nos pesos dos arcos de sada de T1 tanto para a Figura 2.3 quanto para a
figura 2.4.

2.2. CONCEITOS: FORMAL E GRFICO

A composio de uma RdP definida por Palomino (1995, p. 33) como:

Um conjunto de lugares P, um conjunto de transies T, uma aplicao de


entrada I ou Pr, e uma aplicao de sada O ou Ps. As funes de
entrada e sada relacionam transies e posies. Sendo assim a estrutura
das Redes de Petri definida por suas posies, transies, a funo de
entrada I (ou Pr), e a funo de sada O (ou Ps).

2.2.1. Definio Formal

Segundo Cardoso e Vallete (1997, p. 46) uma RdP uma qudrupla

R = (P, T, Pr, Ps),


Onde:

P = {p1, p2, ...pn} um conjunto finito de lugares com dimenso n, n 0;


T = {t1, t2, .... tm} um conjunto finito de transies de dimenso m, m 0;
Pr: PxT N a aplicao de arcos de entrada das transies (lugares
precedentes ou incidncia anterior);
Ps: TxP N a aplicao de arcos de sada das transies (lugares
posteriores ou incidncia posterior);

P T= os conjuntos P e T so disjuntos;
N: o conjunto dos nmeros naturais.
21

Por exemplo, conforme mostrado na figura 2.5 tm-se:

P = {p1, p2, p3};


T = {t1, t2, t3, t4};
Pr = { (p2, t3), (p1, t1), (p2, t4), (p3, t2)};
Ps = { (p2, t1), (p2, t2), (p1, t3), (p3, t4)}.

Figura 2.5: RdP Definio Formal / CARDOSO E VALLETE, 1997

2.2.2. Rede Marcada

Uma RdP marcada N uma dupla


N = (R, Mo),
Onde:
R uma Rede de Petri
Mo a marcao inicial dada pela aplicao
M: P N

O nmero de fichas existentes no lugar p representado por M(p) 0. A marcao M


de todos os lugares representada por um vetor coluna de dimenso igual
quantidade de lugares:
M = [m1, m2, ... mj]T

Onde:
mj = o nmero de fichas do lugar pj.
22

A marcao representa o estado do sistema descrito pela RdP num determinado


instante. O disparo de transies ocasionam uma evoluo da marcao, o que
corresponde a evoluo do estado da RdP.

Figura 2.6: RdP Marcada / CARDOSO E VALLETE, 1997

Sendo:

M(p1) = 0
M(p2) = 0
M(p3) = 1

Ento, o vetor coluna M = [0 0 1]T representa o estado da RdP mostrada na


figura 2.6.

2.3. REPRESENTAO GRFICA

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 (pi, tj) > 0 Se existe um arco ligando o lugar pi a transio tj;


Pr (pi, tj) = 0 Se no existe um arco ligando o lugar pi a transio tj;
23

Ps (pj, ti) > 0 Se existe um arco da transio ti para o lugar pj;


Ps (pj, ti) = 0 Se no existe um arco da transio ti para o lugar pj.

Figura 2.7: RdP Definio Grfica

Na RdP mostrada na figura 2.7 tm-se:

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.

2.4. REPRESENTAO MATRICIAL

Bressan (2002, p. 5) ressalta que a notao matricial de Redes de Petri favorece a


anlise de suas propriedades atravs de resultados algbricos. possvel organizar
as informaes obtidas na representao grfica em uma matriz de incidncia
anterior Pr e numa matriz de incidncia posterior Ps. A partir dos valores aij = Pr
(pi, tj) que indicam o peso dos arcos que ligam os lugares de entrada pi s transies
tj definida a matriz Pr com dimenso n x m (lugares x transies). Igualmente, a
partir dos valores bij = Ps (pi, tj) que indicam o peso dos arcos que ligam as
transies tj aos lugares de sada pi definida a matriz Ps com dimenso n x m.
24

A matriz de incidncia C = (cij) nxm definida a partir de Pr e Ps:


C = Ps - Pr.

A RdP da figura 2.7 pode ser definida algebricamente da seguinte maneira:

A matriz de incidncia C corresponde a estrutura da RdP, independente do estado.


Cada coluna corresponde a maneira como a rede vai se comportar quando do
disparo da transio associada quela coluna (PALOMINO, 1995). Na matriz C
acima, a coluna referente transio t1 demonstra que quando esta disparada so
retiradas uma ficha do lugar p1, duas do lugar p2 e so colocadas 2 fichas no lugar
p3, nos demais lugares no h alterao.

2.5. DEFINIES E REGRAS DE DISPARO

2.5.1. RdP Pura

Para Marranghello (2005, p. 8) uma RdP pura se e somente se

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

Figura 2.8: RdP Impura / MARRANGHELLO, 2005

Considerando a RdP Impura da figura 2.8, por exemplo, p2 lugar de sada e


tambm de entrada da transio t1.

Pr(p2, t1) Ps(p2, t1) = 1

2.5.2. Transio Sensibilizada

A sensibilizao de uma transio t possvel se e somente se:

p P, M(p) Pr(p, t).

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 e Pr(p1, t1) = 1, ento M(p1) = Pr(p1, t1);


- M(p2) = 2 e Pr(p2, t1) = 1, ento M(p2) > Pr(p2, t1).
Para t2:

- M(p4) = 1 e Pr(p4, t2) = 1, ento M(p4) = Pr(p4, t2);


- M(p3) = 0 e Pr(p3, t2) = 2, ento M(p2) < Pr(p2, t1).
26

2.5.3. Disparo de uma Transio

O disparo de uma transio t s ocorre se esta estiver sensibilizada atravs de uma


marcao M. Este disparo proporciona uma nova marcao M tal que:

p P, M(p) = M(p) - Pr(p, t) + Ps(p, t).

Para a figura 2.7, com a marcao inicial M0 = [ 1 2 0 1 0] T, aps o disparo da


transio sensibilizada t1, obtm-se a seguinte marcao M:

M(p1) = M(p1) - Pr(p1, t1) + Ps(p1, t1)


Sendo:

M(p1) = 1;
Pr(p1, t1) = 1;
Ps(p1, t1) = 0.

Tm-se ento:

M(p1) = 1 - 1 + 0.
M(p1) = 0.

A figura 2.9 mostra o momento aps o disparo da transio t1 na RdP representada


na figura 2.7:

Figura 2.9: RdP Disparo de uma transio


27

2.5.4. Conflito e Paralelismo

A ocorrncia de conflito e paralelismo em um RdP so definidos por Cardoso e


Vallete (1997, p. 51) da seguinte forma:

O conflito pode existir na estrutura do modelo, sem, todavia poder ser


efetivado: necessrio que a marcao possibilite de fato sua ocorrncia. O
mesmo ocorre com o paralelismo. Por ocorrncia do conflito entende-se a
existncia, num dado estado, de duas (ou mais) possibilidades, excludentes,
de evoluo. J a ocorrncia do paralelismo implica que todas as atividades
podero ser executadas ao mesmo tempo.

Para tanto, define-se os tipos de conflito e paralelismo:

Conflito estrutural: duas transies t1 e t2 esto em conflito estrutural se e


somente se elas tm pelo menos um lugar de entrada em comum:

p P, Pr(p, t1) Ps(p, t2) > 0.

Conflito efetivo: duas transies t1 e t2 esto em conflito efetivo para uma


marcao M se e somente se ambas esto em conflito estrutural e esto
sensibilizadas:

p P, M Pr(p, t1) e M Pr(p, t2).

Paralelismo estrutural: duas transies t1 e t2 so paralelas estruturalmente


se no possuem nenhum lugar de entrada em comum:

p P, Pr(p, t1) Pr(p, t2) = 0.

Paralelismo efetivo: duas transies t1 e t2 so paralelas efetivamente para


uma marcao dada M se e somente se so paralelas estruturalmente e:
28

p P, M Pr(p, t1) e M Pr(p, t2).

2.5.5. Seqncia de Disparo

O disparo em seqncia s de n transies a partir de uma marcao M0 levando a


uma marcao Mn denominado de seqncia de disparo e tem a seguinte notao:

s = t1 t2 t3 ... tn.

Na figura 2.10 a transio t1 est sensibilizada atravs da marcao inicial M0 =[1 0


0] T e pode disparar, levando assim marcao M1 = [ 0 1 0] T. Aps o disparo de t1,
por sua vez a transio t2 estar sensibilizada ocasionando seu disparo em
seqncia, levando marcao M1 = [ 0 0 1] T.

Figura 2.10: Seqncia de Disparo / CARDOSO E VALLETE, 1997

Se Mo M1 e M1 M2 , ento a seqncia s = t1 t2 disparvel a partir de Mo


com a seguinte notao:

Mo M2.

Um vetor caracterstico S de dimenso n, onde n o nmero de transies


existentes, associado seqncia de disparo e cada elemento s(t) representa a
quantidade de vezes que a transio t foi disparada.

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

Ento, o vetor caracterstico do exemplo anterior dado por:

A execuo de uma RdP resulta em dois tipos de seqncia: uma seqncia de


disparo (s) e outra de marcaes (M0, M1, M2, ...). A evoluo de uma RdP para uma
seqncia s dada, ento, pela equao (PALOMINO, 1995):

M = M - Pr.S + Ps.S,

que, segundo a equao C = Ps - Pr, torna-se:

M = M + C.S com M 0es 0.

Esta equao denominada de equao fundamental da RdP.

2.5.6. Marcaes Alcanveis

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):

A (R, M) = {Mi, s M Mi}


30

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).

O conjunto de marcaes alcanveis deve ser finito, ou seja, em algum momento


uma marcao M evolui marcao inicial M0, porm, existem situaes onde as
marcaes alcanadas no retornam marcao inicial (BRESSAN, 2002).

A figura 2.11 mostra o grafo GA(R, M) para a RdP representada na figura 2.10:

Figura 2.11: Grafo de Marcaes Alcanveis / PENHA et al, 2004

Para este exemplo, a RdP possui um conjunto de marcaes alcanveis finito com
trs marcaes: (M0, M1, M2).
31

2.6. PROPRIEDADES

As principais propriedades relativas s RdP podem ser divididas em dois tipos: o


primeiro se refere dinmica da rede, ou seja, RdP marcada (dependente de
marcao inicial). O segundo referente parte estrutural da rede ou RdP no
marcada (independente de marcao inicial) (BARROS, 1996) (CARDOSO;
VALLETE, 1997) (PALOMINO, 1995).

Atravs da anlise da existncia ou no de certas propriedades em uma RdP


possvel saber, por exemplo, se um sistema est livre de deadlocks, se existe a
possibilidade de uma exploso combinatria da quantidade de fichas em um
determinado lugar (ocorrncia de uma ao indesejada) ou se a implementao do
sistema vivel, tanto no aspecto fsico (hardware) quanto no aspecto lgico
(software).

2.6.1. Propriedades Comportamentais

Abaixo so apresentadas as principais propriedades comportamentais das RdP:

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 3 (N3): Pode ser disparada infinitas vezes em


alguma seqncia de disparos a partir da marcao inicial;

- Transio Viva Nvel 2 (N2): Pode ser disparada k vezes, para um k >
1, em uma seqncia de disparos a partir da marcao inicial;

- Transio Viva Nvel 1 (N1): Pode ser disparada, em alguma


seqncia de disparos, pelo menos uma vez, a partir da marcao
inicial. o nvel menos restrito;

- Transio Viva Nvel 0 (N0): Tambm chamada de rede morta


(impasse total). No existe marcao alcanvel, em qualquer
seqncia de disparos, que a dispare.
33

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 .

2.6.2. Propriedades Estruturais

Abaixo so apresentadas as principais propriedades estruturais das RdP:

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.

Uma transio conservativa se a soma dos pesos dos seus arcos de


entrada for igual soma dos pesos dos seus arcos de sada. Assim, quando
34

do seu disparo no haver modificao na quantidade de fichas na rede.


Quando todas as transies de uma RdP so conservativas, diz-se que a RdP
estritamente conservativa (MARRANGHELLO, 2005).

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.

Os dois tipos de propriedades, comportamentais e estruturais, so interligadas visto


que o aspecto dinmico de uma RdP depende diretamente de sua estrutura
(PALOMINO, 1995), (MARRANGHELLO, 2005), (PENHA et al, 2004).

2.7. INVARIANTES E COMPONENTES

Marranghello (2005, p. 11) defini que:

Os invariantes em uma rede de petri representam os componentes


conservativos e repetitivos da rede. H conjuntos de lugares e de transies
da rede cujo comportamento no se altera durante o seu funcionamento. A
identificao e a interpretao de cada um destes conjuntos importante,
pois, eles refletem certas propriedades da rede que podem ser de interesse
para a anlise do sistema modelado.
35

2.7.1. Invariantes de Lugar e Componentes Conservativos

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).

2.7.2. Invariantes de Transio e Componentes Repetitivos

Uma seqncia de disparos s qualquer que, aps sua execuo, no modifica a


marcao da rede chamada de invariante de transio e corresponde a uma
seqncia cclica.

Utilizando-se a equao fundamental, vista no item 2.5.5, possvel verificar se um


conjunto de transies do invariante, tambm chamado de componente repetitivo
estacionrio da rede, uma vez disparado retorna mesma marcao.

Para obter M = M basta verificar se o resultado do produto da matriz de incidncia


sobre o vetor S igual a zero (CARDOSO; VALLETE, 1997).

2.8. TCNICAS DE ANLISE

Existem trs grupos de metodologias de anlise criadas para determinar se uma


RdP possui ou no determinadas caractersticas (CARDOSO; VALLETE, 1997)
(PALOMINO, 1995). So eles:
36

Por Enumerao das Marcaes: dinmica e simula a execuo da RdP a


partir da marcao inicial e realizada utilizando-se o grafo das marcaes
alcanveis;

Estrutural: Depende apenas da topologia da rede (independente de


marcao), portanto esttica. baseada na equao fundamental das RdP;

Por Reduo: utilizado para se reduzir o tamanho da rede, eliminado-se


lugares e transies que no alteram as propriedades da rede para
posteriormente aplicar um dos dois mtodos citados acima.

2.8.1. Anlise por Enumerao das Marcaes

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 mtodo garante que, se possvel construir o grafo, ento todas as


propriedades podem ser encontradas e baseado essencialmente na enumerao
de todas as marcaes alcanveis. Como j foi visto anteriormente, o grafo das
marcaes alcanveis s pode ser construdo se a quantidade de marcaes
alcanveis da rede for finita, isto , se a RdP for k-limitada. Existe um algoritmo
baseado na construo da rvore de cobertura da rede para determinar se uma RdP
k-limitada.

2.8.1.1. rvore de Cobertura

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.

A notao utilizada para descrever o valor de M(p) que torna a marcao


estritamente superior, ou seja, o lugar onde aparece a letra possui uma
quantidade infinita de fichas. (CARDOSO; VALLETE, 1997).

Antes de se efetuarem os clculos construdo um novo grafo de marcaes


alcanveis possuindo dois tipos de ns: o n raiz (referente M0) e o n fronteira
(referente marcao alcanada). Este ltimo se transformar em um dos trs tipos
de ns a seguir: terminal, no sensibiliza nenhuma transio; duplicado, j existente
no grafo e interno, qualquer n entre um n terminal ou duplicado e a raiz.

2.8.1.2. Anlise Atravs do Grafo

Em Palomino (2001, p. 41) as seguintes concluses podem ser obtidas atravs do


grafo de alcanabilidade sobre as propriedades das RdP:

a) Sempre que no aparecer o no grafo de marcaes alcanveis a RdP


limitada. Deste modo a rvore de cobertura permite identificar todas as
marcaes a partir da marcao inicial. E simetricamente, sempre que
aparecer o em qualquer n do grafo a RdP ilimitada;

b) Sempre que existir uma marcao (n do grafo) qualquer que no sensibilize


nenhuma transio (n terminal), sinal que aps vrios disparos de
transies a rede no evoluir mais, entrando em deadlock;
38

c) Se no existir nenhum n terminal e todos os ns duplicados forem iguais


raiz ento a RdP reinicializvel;

d) Se no existir ns duplicados ento a RdP viva.

Porm, mesmo com a possibilidade de verificao destas propriedades atravs do


grafo este mtodo torna-se caro e trabalhoso para redes muito grandes.

2.8.2. Anlise Estrutural

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;

b) Se cada um dos lugares da rede pertencer a pelo menos um invariante de


transio ento a RdP dita viva;

c) Se existir invariantes de transio a RdP reversvel;

2.8.3. Anlise por Reduo

Quando o sistema que se deseja modelar leva a construo de uma rede


extremamente grande e complexa, fica impossvel fazer a anlise de suas
propriedades atravs do grafo de marcaes alcanveis ou pelo mtodo dos
invariantes. Visando diminuir esta complexidade surgiu o mtodo de anlise por
reduo, que consiste basicamente em reduzir o tamanho modelo para obter um
modelo mais simples que apresente as mesmas caractersticas e propriedades da
rede original.
39

2.8.3.1. Tcnicas de Reduo

Em Marranghello (2005, p. 16) so citadas as seis tcnicas de reduo, dentre


inmeras, mais simples. Estas tcnicas conseguem garantir a preservao das
propriedades de vivacidade, limitao e segurana. So elas:

1) Fuso de lugares em srie (Figura 2.12):

Figura 2.12: Fuso de Lugares em Srie / MARRANGHELLO, 2005

2) Fuso de transies em paralelo (Figura 2.13):

Figura 2.13: Fuso de Transies em Paralelo / MARRANGHELLO, 2005

3) Fuso de transies em srie (Figura 2.14):

Figura 2.14: Fuso de Transies em Srie / MARRANGHELLO, 2005


40

4) Fuso de lugares em paralelo (Figura 2.15):

Figura 2.15: Fuso de Lugares em Paralelo / MARRANGHELLO, 2005

5) Eliminao de lugares em malha fechada (Figura 2.16):

Figura 2.16: Fuso de Lugares em Malha Fechada / MARRANGHELLO, 2005

6) Eliminao de transies em malha fechada (Figura 2.17):

Figura 2.17: Fuso de Transies em Malha Fechada / MARRANGHELLO, 2005

Marranghello (2005, p. 16) ainda afirma que os mtodos de reduo no permitem


por si s, a anlise das propriedades da rede. Eles so transformaes aplicadas a
determinada rede para simplific-la. Aps alcanar uma rede mais simplificada,
atravs da tcnica de reduo, necessrio aplicar rede uma das tcnicas vistas
anteriormente como a anlise por enumerao das marcaes ou a anlise
estrutural.
41

2.9. ASPECTOS DA MODELAGEM

Utilizar RdP na modelagem de um sistema , necessariamente criar uma


interpretao da rede. Essa interpretao faz a ligao entre o modelo abstrato com
o sistema concreto a ser modelado.

As RdP permitem a modelagem e visualizao dos diversos conceitos e relaes


existentes no sistema proposto, entre eles: paralelismo, partilha de recursos,
sincronizao, concorrncia, memorizao, limitao de recursos e leitura
(BARROS, 1996).

Antes mesmo de iniciar o processo de modelagem preciso conhecer o sistema,


realizando uma anlise completa para entender o funcionamento de todas as partes
e mais, definir se todo o sistema ou apenas parte dele deve ser modelado. Penha et
al (2004, p. 17) ainda coloca que o no conhecimento do sistema pode produzir um
modelo que no reflete a realidade e, portanto, no verifica e no valida o sistema
em anlise.

Definir as condies (lugares) e as aes (transies), criar uma matriz de entrada e


uma de sada (representando as relaes entre os lugares e as transies),
representar graficamente uma RdP para cada transio e depois reun-las em uma
RdP completa que represente o sistema modelado e, definir sua marcao inicial
so etapas bsicas para a modelagem utilizando as Redes de Petri.
42

3. VARIAES DAS REDES DE PETRI

3.1. INTRODUO

Conforme explicitado por Palomino (1995, p. 65), as RdP Ordinrias, apresentadas


no captulo anterior:

Possuem baixo poder de modelagem por representarem apenas relaes de


causa e efeito entre os eventos e as condies. A sua utilizao
restringida, portanto, a diversos tipos de sistemas pertencentes a classe de
sistemas (dinmicos) de eventos discretos, onde sincronizao externa e o
tempo no intervm.

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.

No intuito de resolver tais limitaes foram desenvolvidos, a partir do modelo


original, variaes das RdP Ordinrias, tambm chamadas de primitivas ou
autnomas. Normalmente as RdP so dividas em trs classes principais:

RdP Ordinrias: suas principais caractersticas so a) todos os arcos tm


peso igual a 1; b) s existe um tipo de ficha; c) a capacidade dos lugares
infinita e; d) no envolve tempo.

Abreviaes: sua principal caracterstica que as propriedades das RdP


Ordinrias, apesar de algumas adaptaes, so mantidas. So
representaes mais simplificadas, mas com o mesmo poder de modelagem
das RdP. E tm por objetivo facilitar a representao grfica.

Extenses: Tm por objetivo aumentar o poder de representao do modelo


original, com isso suas regras de funcionamento sofreram alteraes mais
profundas.
43

3.2. ABREVIAES

Dentro da classe das abreviaes esto inseridas as RdP Generalizadas, as RdP


Coloridas e as RdP com Capacidade Finita.

3.2.1. RdP Generalizadas

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.

Figura 3.1: RdP Generalizadas

3.2.2. RdP Coloridas

Utilizada em sistemas mais complexos onde, necessrio, por exemplo, diferenciar


processos semelhantes. Se utilizadas as RdP Ordinrias, onde as fichas so
indiferenciadas, pode-se obter uma descrio mais compacta porm com falha na
transmisso de informao ou um modelo pouco prtico, ou pelo seu tamanho ou
pela quantidade excessiva de interaes. Seria necessrio ento uma estrutura fora
da rede que permitisse tratar certos dados do sistema.
44

Vrios trabalhos forma desenvolvidos no sentido de superar esta dificuldade, os


modelos propostos so chamados de Redes de Petri de Alto Nvel (RdPAN).
Compem as RdPAN as RdP Predicado/Transio, as RdP Coloridas e as RdP a
Objetos (CARDOSO; VALLETE, 1997) (PALOMINO, 1995).

Em Barros (1996, p. 39):

A caracterstica fundamental que distingue as RdP de alto nvel (RdP-AN)


das RdP e que as qualifica como de alto nvel, a possibilidade de as
marcas no serem iguais entre si, correspondendo a elementos de um
domnio. Desta forma, as marcas podem conter muito mais informao. Esta
j no se limita simples presena ou no da marca (ou marcas) num
determinado lugar, podendo conter dados relativos sua caracterizao
como indivduo distinto dos restantes.

A associao de cores, que podem ser nmeros inteiros ou um conjunto de


etiquetas, s fichas tem o objetivo de diferenci-las. Aos lugares so associadas
cores que correspondem s cores das fichas que podem pertencer ao lugar, e s
transies associado um conjunto de cores que corresponde s diferentes formas
de disparo (CARDOSO; VALLETE, 1997).

As RdP Coloridas (RdPCol) introduzem o conceito de representao hierrquica nas


RdP, permitindo que sub-redes repetidas sejam ocultadas. Apesar das vantagens
obtidas com a representao hierrquica, o aspecto mais relevante seu poder de
compactao da rede resultante do fato de que as fichas correspondem a variveis
cuja complexidade encontra-se somente na linguagem utilizada.

Esta associao consiste basicamente no agrupamento de um conjunto de lugares


num s lugar com cores que correspondentes s fichas que podero pertencer a ele.
A juno dos lugares obriga o agrupamento dos arcos, este por sua vez, conseguido
atravs da associao de funes que possibilitam definir as marcas a ser retiradas
ou coladas em determinado lugar (BARROS, 1996).
45

3.2.3. RdP com Capacidade Finita

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 chamadas extenses das RdP podem ser divididas em trs classes:

As extenses com poder de representao de mquinas turing (RdP com


arcos inibidores e RdPs prioritrias);

As extenses que permitem a modelagem de RdPs hbridas e RdPs


contnuas e;

As extenses correspondentes a modelos que descrevem o funcionamento de


sistemas cuja evoluo vai depender de eventos externos e/ou tempo (RdP
sincronizada, RdP temporizada e RdPs estocsticas), onde as propriedades
de das RdP Ordinria nem sempre so mantidas.

3.3.1. RdP com Arcos Inibidores

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.

Um arco inibidor liga um lugar p a uma transio t e representado com um circulo


na extremidade final. Indica que a transio t pode disparar mesmo se no houver
nenhuma ficha em p, assim retirada um ficha de cada lugar de entrada, exceto de
p, de t e colocada uma ficha em cada lugar de sada de t.
46

Um exemplo de uma RdP com arco inibidor mostrado na figura 3.2.

Figura 3.2: RdP com Arco Inibidor

3.3.2. RdP Contnuas

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).

3.3.3. RdP Hbridas

uma RdP constituda de lugares e transies discretos e lugares e transies


contnuos. So utilizadas em sistemas onde ocorre um fluxo contnuo (parte
contnua, modelada atravs das RdP Contnuas) e este fluxo, em algum momento,
precisa ser interrompido (parte discreta, modelada, por exemplo, atravs das RdP
Ordinrias).
47

3.3.4. RdP Sincronizadas

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.

Figura 3.3: RdP Sincronizada

3.3.5. RdP T-Temporizada

Foi apresentada, em 1973, por Ranchandani em sua tese de Doutorado. O principio


bsico deste tipo de rede a associao de um nico parmetro temporal a cada
transio, representando assim a durao da sua sensibilizao. Este parmetro o
tempo, depois de disparada a transio, de retardo da disponibilizao da ficha no
lugar de sada da transio.

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

lugar p a atividade sendo executada, com durao igual a Tempo, e a transio t1


o fim da atividade.

Figura 3.4: RdP T-Temporizadas / CARDOSO E VALLETE, 1997

3.3.6. RdP P-Temporizada

Diferentemente do que acontece nas RdP T-Temporizadas, aqui o perodo


associado ao lugar e no transio. Este perodo determina o tempo gasto para se
executar a atividade representada pelo lugar.

Para um melhor entendimento, possvel se desdobrar o lugar em lugar-transio-


lugar, como mostrado na figura 3.5 a seguir:
49

Figura 3.5: RdP P-Temporizadas / CARDOSO E VALLETE, 1997

Sendo p1 a atividade com durao igual a Tempo ento, p1 a atividade sendo


executada, t a indicao de que Tempo chegou ao fim e p1 a eventual espera
para outras atividades (CARDOSO; VALLETE, 1997).

3.3.7. RdP Estocstica

Existem sistemas em que o tempo para se realizar uma determinada tarefa


constante, sendo facilmente representado por uma RdP temporizada, j que
associa-se um perodo de tempo fixo a cada transio ou lugar da rede. Mas existem
sistemas onde a durao de execuo de certa tarefa pode variar, nestes casos so
utilizadas as RdP Estocsticas. So associados tempos randmicos aos disparos de
cada transio, onde o tempo normalmente distribudo seguindo uma lei
exponencial.

3.3.8. RdP Temporal

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.

Figura 3.6: RdP Temporal


51

4. MODELAGEM COM REDES DE PETRI

4.1. O SISTEMA

Trata-se de uma simplificao de um sistema Cliente/Servidor composto por um


Cliente, um Servidor e um Controlador Lgico Programvel (CLP). A figura 4.1 faz
uma ilustrao do sistema.

Figura 4.1: Ilustrao do Sistema

4.1.1. Definies

Algumas definies fazem-se relevantes para a modelagem do sistema com RdP. A


seguir seguem as definies de Cliente, de Servidor e de Controlador Lgico
Programvel:

Cliente: mquina que solicita informaes contidas no Servidor ou servios


oferecidos por este. Normalmente uma mquina menos poderosa se comparada
ao Servidor, isso porque os aplicativos que rodam nela no exigem tanto poder de
processamento.
52

Servidor: mquina na rede responsvel por atender s solicitaes do(s) Cliente(s).


Necessita de uma mquina mais poderosa pois, no Servidor que so executados
os aplicativos mais pesados, tais como banco de dados.

CLP: mquina especializada, baseada em microprocessamento para realizar


funes de controle de vrios tipos e nveis de complexidade. dividido em grupos,
de acordo com a sua capacidade de processamento de um determinado nmero de
Entradas e/ou Sadas. o controlador indicado para lidar com sistemas a eventos
discretos, ou seja, com processos em que as variveis assumem valores zero ou um
(variveis digitais). Tambm lida com variveis analgicas, estas definidas por
intervalos de valores de corrente ou tenso eltrica, por exemplo. utilizado,
principalmente, nas reas de controle de processos, aplicado em industrias de
produo continua, ou de automao industrial, aplicado em linhas de montagem.
Comunica-se com os outros componentes da rede por canais seriais. Com isto pode
ser supervisionado por computadores formando sistemas de controle integrados.
Softwares de superviso controlam redes de Controladores Lgicos Programveis. A
figura 4.2 mostra um exemplo de um CLP (ALBUQUERQUE FILHO, 2005).

Figura 4.2: CLP Exemplo / Site da Moeller - Brasil


53

4.1.2. Caractersticas e Funcionamento dos Componentes

O CLP possui n entradas analgicas, n entrada digitais, n sadas analgicas e n


sadas digitais e permite ao usurio configurar um tipo de onda especfico para cada
entrada analgica. As opes so: onda quadrada, onda senoidal, onda triangular ou
valor constante. Os valores das ondas devem estar entre 4 e 20 mA.

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.

O Servidor o intermedirio da comunicao entre o Cliente e o CLP e prov os


seguintes servios para o Cliente:

leitura de um bloco contnuo de variveis digitais sob demanda, entradas e/ou


sadas;
leitura de um bloco contnuo de variveis analgicas sob demanda, entradas
e/ou sadas;
escrita de sadas digitais sob demanda;
escrita de sadas analgicas sob demanda;
assinatura de um grupo de variveis analgicas, dado o perodo em segundos
(default de um segundo);
assinatura de um grupo de variveis discretas por exceo (unsolicited
messages).

O Cliente possui como opes os servios providos pelo Servidor j destacados


acima. A comunicao entre os elementos do sistema realizada da seguinte
maneira: o CLP se comunica com o Servidor atravs de comunicao entre
processos e o Servidor se comunica com o Cliente sobre TCP/IP.

Ao serem executados os processos CLP e Servidor estes se comunicam


internamente atravs de um sub-processo onde o Servidor recebe os dados a cada
54

segundo. Outro sub-processo do Servidor aguarda a solicitao de conexo do


Cliente e, quando esta for verdadeira, trata as possveis solicitaes feitas pelo
Cliente como leitura ou alterao dos dados.

As solicitaes do Cliente so tratadas da seguinte maneira pelo Servidor:

leitura de um bloco contnuo de variveis digitais/analgicas sob demanda,


entradas e/ou sadas: O Servidor encaminha os dados, j enviados pelo CLP,
ao Cliente uma nica vez;
escrita de sadas digitais/analgicas sob demanda: O Servidor solicita ao CLP
a alterao destes dados;
assinatura de um grupo de variveis analgicas: Obedecendo ao perodo
definido pelo Cliente quanto ao envio dos dados, a cada intervalo de tempo o
Servidor encaminha os dados ao Cliente;
assinatura de um grupo de variveis digitais: Sempre que o Servidor receber
dados novos do CLP (o que ocorre a cada segundo) ele encaminha ao
Cliente.

No CLP existem dois sub-processos, um responsvel por enviar os dados e outro


por realizar as alteraes solicitadas pelo Servidor.

4.2. MODELAGEM

Antes da apresentao do modelo utilizando RdP, ser apresentada uma


modelagem convencional do sistema afim de torn-lo mais familiar.

4.2.1. Diagrama de Implantao

Este tipo de diagrama utilizado em sistemas distribudos pelo fato de possibilitar a


representao tanto da topologia da rede quanto dos processos executados por
cada mquina desta rede. Cada mquina na rede denominada n e
55

representada por um cubo, sua relao com os processos executados internamente


de dependncia (ANQUETIL, 2002).

A figura 4.3 mostra o diagrama de implantao para o sistema proposto:

Figura 4.3: Diagrama de Implantao

4.2.2. Diagrama de Estado

O diagrama de estado permite a representao do comportamento de um elemento


do sistema. Os estados possveis do sistema so representados por retngulos que
contm sua descrio e os eventos (transies) so representados por arcos
orientados etiquetados com sua descrio (ANQUETIL, 2002).

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.

No exemplo a seguir ser apresentado com mais detalhe apenas o comportamento


do CLP. A figura 4.4 mostra o diagrama de estado do CLP.
56

Figura 4.4: Diagrama de Estado

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

Ser apresentada nesta seo, a exemplo da seo anterior, apenas a modelagem


do CLP.

4.2.3.1. Condies e Aes

Com as caractersticas do sistema bem definidas o primeiro passo a ser dado a


definio das condies e das aes, lugares e transies respectivamente,
pertinentes modelagem com as RdP. A tabela 4.1 a seguir mostra a lista de
condies e aes do CLP:
57

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

Aps a definio das condies e das aes preciso relacion-las de modo a


facilitar o entendimento do sistema antes mesmo da representao grfica. A tabela
4.2 mostra a relao das transies com seus respectivos lugares de entrada do
componente CLP, definida anteriormente como matriz de entrada Pr:

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

4.2.3.3. Representao Grfica

Nesta seo ser apresentada a representao grfica do componente CLP.

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:

Figura 4.5: CLP Representao Grfica


59

4.2.3.4. Evoluo da Rede

Para demonstrao da representao dinmica alcanada pelas RdP ser


apresentada nesta seo a possvel seqncia de disparo s = t1 t6 t7 t2 obtida a partir
da marcao inicial M1.

A figura 4.6 representa a marcao alcanvel M2 = [ 0, 1, 1, 0, 0, 0], a partir de M1,


aps o disparo de t1, ou seja, a ao Iniciar ser executada com isso ser retirada
a ficha de p1 (Parado) e sero coladas uma ficha em p2 (Executando) e outra em
p3 (Dados Livres).

Figura 4.6: CLP Marcao M2

Aps o disparo de t1 as transies t2 (Encerrar), t3 (Ler e Exibir Dados) e t6


(Alterar Dados) ficaro sensibilizadas podendo ser disparadas. Porm, seguindo a
seqncia s ser t6 a transio a ser disparada neste momento.

A figura 4.7 representa a marcao alcanvel M3 = [ 0, 1, 0, 0, 0, 1], a partir de M2,


aps o disparo de t6. Neste caso, a ao Alterar Dados ser disparada promovendo
a retirada da ficha de p3 (Dados Livres) e colocada uma ficha em p6 (Alterando
Dados). Nota-se que, apesar do disparo de t6 a ficha de no foi retirada p2.
60

Figura 4.7: CLP Marcao M3

Aps o disparo de t6 a nica transio sensibilizada ser t7 (Encerrar Alterao e


Liberar Dados) e ser esta a ser disparada de acordo com a seqncia s. Nota-se
que as transies t2 e t3 antes sensibilizadas, agora no esto.

A figura 4.8 representa a marcao alcanvel M2 = [ 0, 1, 1, 0, 0, 0], a partir de M3,


aps o disparo de t7. A ao Encerrar Alterao Liberar Dados disparada, como
conseqncia retirada a ficha de p6 e colocada uma ficha em p3 (Dados Livres). A
ficha de p2 continua no seu lugar indicando que o sistema est Executando.

Figura 4.8: CLP Marcao M2

Agora as transies t2, t3 e t6 esto sensibilizadas podendo, qualquer uma, ser


disparada, porm, conforme s ser t2 a disparar.

A figura 4.9 representa a marcao alcanvel M1 = [ 1, 0, 0, 0, 0, 0], a partir de M2,


aps o disparo de t2. O disparo de t2 indica que ser executada a ao Finalizar,
61

sendo assim sero retiradas as fichas de p2 e p3 e ser colocada uma ficha em p1


(Parado) retornando ao estado inicial do sistema.

Figura 4.9: CLP Marcao M1


62

5. CONCLUSES

O crescente uso das RdP na modelagem, anlise, simulao e controle de sistemas


computacionais vem sendo bastante discutido em estudos recentes (BARROS,
1996) (BRESSAN, 2002) (PENHA et al, 2004). Argumentos como facilidade e
eficcia reforam a importncia da utilizao das RdP na modelagem de sistemas
complexos com caractersticas de paralelismo, alocao de recursos, sincronizao,
atividades cclicas e restries temporais.

Diante disto, o presente trabalho teve como objetivo apresentar os principais


conceitos e caractersticas das Redes de Petri e sua aplicabilidade na modelagem
de sistemas computacionais. Foram introduzidos os conceitos e as propriedades das
RdP tendo como base todo o formalismo matemtico necessrio e foram
apresentados, ainda, os principais tipos de RdP. E, por fim, foi demonstrada, atravs
de uma aplicao prtica, a utilizao das Redes de Petri na modelagem de um
sistema computacional, tomando como exemplo uma simplificao de um sistema
Cliente/Servidor.

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.

O entendimento da ferramenta exigiu um certo conhecimento matemtico prvio, o


que muitas vezes pode desencorajar a sua utilizao.

Como sugesto para trabalhos futuros podem ser citados:

a complementao do modelo apresentado, com a modelagem do sistema


completo (CLP, Cliente e Servidor) e o escalonamento do mesmo atravs de
um escalonador de RdP;
63

a utilizao de RdP associadas ao tempo no modelo, o que particularmente


interessante neste caso;

a utilizao de uma RdP Colorida que pode facilitar a modelagem do sistema


pois, partes do sistema (Cliente e o Servidor) possuem estados semelhantes
e com isso consegue-se compactar a modelagem sem perda de
generalizao.
64

REFERNCIA BIBLIOGRFICA

ABNT, Associao Brasileira de Normas Tcnicas. Disponvel em:


<http://www.abnt.org.br/>. Acessado em: 15/09/2006 s 14:44h.

ALBUQUERQUE FILHO, B. M. de; SIVINO FILHO, I. F. V.; BARROS, P. T. da S. L.


de. Controle de Processo de Trefilao Utilizando CLP e Inversor de Freqncia.
2005, 52 p.. Monografia (Graduao em Engenharia Eltrica) Escola Politcnica de
Pernambuco, Recife, Brasil, 2005. Disponvel em:
<http://dee.upe.poli.br/monografias/mono004.pdf>. Acessado em: 15/09/2006 s
20:41h.

ANQUETIL, N.. Desenvolvimento de Software Orientado a Objetos. 2002, 87 p..


(Desenvolvimento de material didtico ou instrucional - Apostila e Pginas Web).
Disponvel em:
<http://www.ucb.br/ucbtic/mgcti/paginapessoalprof/Nicolas/Disciplinas/UML/uml.pdf>.
Acessado em 15/09/2006 s 20:04h.

BARROS, J. P. M. P. R. e. CpPNeTS: uma Classe de Redes de Petri de Auto-


Nvel Implementao de um sistema de suporte sua aplicao e anlise.
1996, 221 p.. Dissertao (Mestrado em Engenharia Informtica) Faculdade de
Cincias e Tecnologia, Universidade Nova de Lisboa, Lisboa, Portugal, 1996.
Disponvel em <http://www.estig.ipbeja.pt/~jpb/BarrosTeseDeMestrado.pdf>.
Acessado em: 11/09/2006 s 21:31h.

BRESSAN, G.. Modelagem e Simulao de Redes de Computadores. 2002, 26 p.


. (Desenvolvimento de material didtico ou instrucional - Apostila e Pginas Web).
Disponvel em <http://www.larc.usp.br/conteudo/universo/pcs012/modsim05.pdf>.
Acessado em: 11/09/2006 s 21:00h.

CARDOSO, J. e VALETTE, R.. Redes de Petri. Florianpolis: Ed. da UFSC. 1997.


212 p..
65

MARRANGHELLO, N.. Redes de Petri: Conceitos e Aplicaes. 2005, 33 p..


(Desenvolvimento de material didtico ou instrucional - Apostila). Disponvel em:
<http://www.dcce.ibilce.unesp.br/~norian/cursos/mds/ApostilaRdP-CA.pdf/>.
Acessado em 17/09/2006 s 22:34h.

MARRANGHELLO, N.. Redes de Petri: Propriedades e Anlise. 2005, 21 p..


(Desenvolvimento de material didtico ou instrucional - Apostila). Disponvel em:
<http://www.dcce.ibilce.unesp.br/~norian/cursos/mds/ApostilaRdP-PA.pdf/>.
Acessado em: 17/09/2006 s 21:57h.

MAZZOLA, V. B.. Apostila de INE 5374 Mtodos Formais para Concepo de


Sistemas (Suporte de Curso), 2006. Disponvel em:
<http://toulouse.inf.ufsc.br/~mazzola/ine5374/material/mf2.zip>. Acessado em:
20/10/2006 s 19:21h.

MORAES JUNIOR, C. M.. Escalonamento de Sistemas de Produo Hbridos


usando uma Rede de Petri P-temporal T-temporizada com Mecanismo de
Retrocesso Inteligente. 2000, 141 p. . Dissertao (Mestrado em Automao e
Controle) Universidade Federal de Uberlndia, Uberlndia, Brasil, 2000.

PALOMINO, R. C.,. Uma Abordagem para a Modelagem, Anlise e Controle de


Sistemas de Produo Utilizando Redes de Petri. 1995. Dissertao (Mestrado
em Engenharia da Produo) Universidade Federal de Santa Catarina,
Florianpolis, Brasil, 1995. Disponvel em:
<http://www.eps.ufsc.br/disserta/palomino/indice/>. Acessado em: 11/09/2006 s
21:03h.

PALOMINO, R. C.. Um Modelo Para O Planejamento E A Programao Da


Produo Em Ambientes Job Shop: Baseado Em Redes De Petri. 2001, 151 p..
Tese (Doutorado em Engenharia da Produo) Universidade Federal de Santa
Catarina, Florianpolis, Brasil, 2001. Disponvel em:
<http://teses.eps.ufsc.br/defesa/pdf/1786.pdf >. Acessado em: 12/09/2006 s
19:44h.
66

PENHA, D. O.; FREITAS, H. C.; MARTINS, C. A. P. S. . Modelagem de Sistemas


Computacionais usando Redes de Petri: aplicao em projeto, anlise e
avaliao. Anais da IV Escola Regional de Informtica RJ/ES. 2004, 40 p..
Disponvel em :<http://www.sbc.org.br/bibliotecadigital/download.php?paper=33>.
Acessado em: 11/09/2006 s 22:32h.