Redes de Petri: Conceitos e Aplicaes

Prof. Dr. Norian Marranghello DCCE/IBILCE/UNESP Maro de 2005

Introduo:
Sistema uma coleo de itens, entre os quais encontra-se ou define-se uma relao, que objeto de estudo ou de interesse. Modelo uma descrio de um sistema por meio de equaes e relaes matemticas bem como de representaes grficas, baseadas em leis ou princpios fsicos que governam o sistema, os seja, o modelo uma abstrao do sistema original. Os modelos podem ser analticos ou discretos. Os modelos do tipo analtico so formados por uma srie de equaes matemticas usadas para prever o comportamento do sistema pela atribuio de valores aos parmetros do modelo e a soluo repetida das equaes para cada conjunto de valores. Os modelos do tipo discreto so representados por uma estrutura matemtica ou lgica que pode ser exercitada utilizando-se um computador, para simular o comportamento do sistema. As simulaes permitem inferncias sobre os sistemas modelados sem a necessidade de constru-los, quando eles so ainda apenas propostas de novos sistemas; sem a necessidade de perturba-los, quando seu custo operacional alto ou os seus requisitos de segurana impedem ou desaconselham experimentos; e sem o risco de destru-los, quando se tem que definir os limites do sistema. Os sistemas de automao e controle digital que desejamos tratar so do tipo a eventos discretos e requerem linguagens e ferramentas de modelagem especficas para o seu tratamento. Dentre as diversas linguagens existentes utilizaremos as Redes de Petri, por constiturem um conjunto de linguagens com

forte apelo grfico que so muito adequadas para o projeto, a especificao a simulao e a verificao de diversos sistemas a eventos discretos, como os que desejamos tratar. Algumas reas nas quais encontram-se aplicaes tpicas das redes de Petri so: automao de escritrios; automao de manufatura; avaliao de desempenho; bancos de dados; circuitos integrados; protocolos de comunicao; sistemas distribudos; e sistemas de produo.

Histrico:
Redes de Petri (ou simplesmente RdP) foram criadas a partir tese de doutorado de Carl Adam Petri, intitulada Kommunication mit Automaten (Comunicao com Autmatos), apresentada Universidade de Bonn em 1962 [01]. Desde o princpio, RdP objetivaram a modelagem de sistemas com componentes concorrentes. Segundo Heuser [02], as primeiras aplicaes de RdP aconteceram em 1968, no projeto norte-americano Information System Theory, da A.D.R. (Applied Data Research, Inc.). Muito da teoria inicial, da notao e da representao de RdP foi desenvolvido neste projeto e foi publicado em seu relatrio final. Este trabalho ressaltou como RdP poderiam ser aplicadas na anlise e na modelagem de sistemas com componentes concorrentes. A dcada de setenta marcou o desenvolvimento da teoria de RdP e a expanso de seu campo de aplicao. No incio daquela dcada, o trabalho de Petri chamou a ateno de membros do Projeto MAC, do MIT (Massachusetts Institute of Technology). O Grupo de Estruturas Computacionais, deste projeto, sob a

direo do Prof. Jack B. Dennis, foi a origem de considerveis pesquisas e publicaes sobre RdP, envolvendo relatrios e teses de doutorado. Duas conferncias importantes foram organizadas pelo grupo, quais sejam: a Conferncia sobre Sistemas Concorrentes e Computao Paralela, em Woods Hole (Projeto MAC, 1970) e a Conferncia sobre Redes de Petri e Mtodos Relacionados, no MIT, em 1975. A conferncia realizada em 1975 no MIT foi, vale ressaltar, a primeira vez que o nome Rede de Petri foi oficialmente utilizado para se referir ao formalismo proposto por Carl Adam Petri treze anos antes, na Alemanha. Os resultados destes e de outros esforos no desenvolvimento da teoria de RdP esto registrados em inmeros artigos e em trs livros principais: um destes livros foi escrito pelo Prof. Wolfgang Reisig [03], que foi orientado do Prof. Petri, e representa a linha de pensamento mais diretamente ligada a ele; outro livro foi escrito por diversos autores franceses [04], liderados pelo Prof. G. W. Brams, e representa, por assim dizer, a linha de pensamento europia menos ligada ao Prof. Petri; e o terceiro livro foi escrito pelo Prof. James Lyle Peterson [05] e representa a linha de pensamento norteamericana. Em relao s aplicaes, RdP atingiu reas como a modelagem de componentes de hardware, controle de processos, linguagens de programao, sistemas distribudos e protocolos de comunicao. Ainda na dcada de setenta, surgiram trs tipos de RdP capazes de modelar caractersticas temporais determinsticas, quais sejam, as RdP temporizadas de Ramchandani [06], de Merlin [07] e de Sifakis [08]. As aplicaes de RdP aumentaram consideravelmente na dcada de oitenta, com o surgimento das chamadas redes de Petri de alto nvel, como por exemplo, as numricas [09], as predicado/transio [10] e as coloridas [11]. Em meados da dcada de oitenta surgiram tambm extenses de RdP estocsticas [12]. Tais inovaes acrescentaram uma grande fora descritiva ao processo de modelagem, pelo uso de marcas com identidade e, conseqentemente, do uso de conjuntos de marcas na representao da dinmica dos sistemas modelados, bem como pela possibilidade de se associar taxas de ocorrncia no determinsticas aos eventos dos sistemas modelados. Desta forma, as RdP atingiram outras reas, como automao de escritrios, bancos de dados, inteligncia artificial e sistemas de informao de maneira geral. No final da 3

dcada de oitenta era publicado um artigo seminal sobre RdP, pelo Prof. Tadao Murata [13]. Embora este artigo trate primordialmente das redes de baixo nvel, ele um dos artigos mais referenciados sobre o assunto ainda nos dias de hoje. Na dcada de noventa as RdP tiveram como seu principal representante a segunda verso das RdP Coloridas [14], desenvolvidas pelo Prof. Kurt Helmer Jensen, da Universidade de Aarhus, na Dinamarca. Alm de trabalharem com marcas diferenciveis, tais redes apresentam tratamento de aspectos temporais e permitem a representao de tipos de dados abstratos, um diferencial que as outras extenses existentes no final da dcada de oitenta e incio da de noventa no apresentavam. Foi nesta dcada tambm que surgiram alguns livros sobre RdP, em portugus [15 e 16]. Outra preocupao era com a diversidade de extenses de RdP que estavam sendo propostas. A exemplo do que ocorreu com as linguagens de programao nas dcadas de sessenta e setenta, cada grupo que sentia necessidade de determinada caracterstica estava propondo sua extenso de RdP, mas por convenincias locais de implementao, estas extenses no se conversavam e estavam formando uma verdadeira Torre de Babel. Esta situao motivou, em meados da dcada de noventa, o incio de um esforo para a padronizao das redes de alto nvel, bem como de uma sintaxe de transferncia que pudesse ser comum a todas as RdP. Esta proposta foi encabeada pelo Prof. Jonathan Billington e levada ISO, International Standards Organization, em 1995 que a acolheu e atribuiu-lhe a designao de padro ISO/IEC-15909, tendo sido dividido em trs partes, quais sejam: a parte 1, designada por High-level Petri Nets Concepts, Definitions and Graphical Notation; a parte 2, designada por High-level Petri Nets Transfer Format; e a parte 3, designada por High-level Petri Nets Extensions. Estas trs partes iniciaram sua tramitao pelo longo processo de aprovao de padres ISO em momentos diferentes e, conseqentemente, esto em fases diferentes de padronizao. A ISO/IEC15909-1 foi ratificada como padro em julho de 2003, tendo seu texto recebido a ltima atualizao em maio de 2002. A ISO/IEC-15909-2 e a ISO/IEC-15909-3 iniciaram suas tramitaes, respectivamente, em junho de 2003 e janeiro de 2004. Atualmente esto tramitando no Comit Tcnico em estgios diferentes, quando ainda podem receber alteraes mais importantes aos seus textos. 4

Espera-se que em janeiro de 2006 a tramitao destas duas partes seja sincronizada, produzindo um padro internacional completo at o final de 2006. Informaes atualizadas sobre estes e outros assuntos relativos a redes de Petri podem ser obtidas em vrios stios na internet, sendo o principal deles o hospedado pela Universidade de Aarhus (http://www.daimi.au.dk/PetriNets).

Classificao:
H vrias maneiras possveis de se classificar as redes de Petri, uma maneira muito utilizada, a qual empregaremos neste texto, consiste em agrupa-las quanto ao seu grau de abstrao. Neste caso, pode-se separa-las em RdP de baixo nvel e de alto nvel. As RdP de baixo nvel so aquelas cujo significado de suas marcas no so diferenciveis a no ser pela estrutura da rede qual esto associadas. Elas ainda podem ser subdivididas em elementares e lugar/transio. As redes elementares so aquelas que conservam as caractersticas das redes propostas por Petri, em sua tese de doutorado. Elas so extremamente restritivas do ponto de vista de modelagem, pois permitem a existncia de apenas uma marca em cada elemento da rede forando, desta forma, a representao das nuances de um sistema modelado totalmente por meio dos elementos estruturais da rede. As redes lugar/transio buscam minimizar este esforo de modelagem relaxando um pouco as restries impostas nas redes elementares, fundamentalmente, permitindo a utilizao de mais de uma marca em cada elemento da rede, conforme ser estudado mais adiante. Este foi o tipo de rede mais utilizado na dcada de setenta, por permitir uma compactao razovel dos modelos. As redes de alto nvel so aquelas cujas marcas incorporam alguma semntica, viabilizando sua diferenciao. Esta semntica pode ir desde a atribuio de valores ou cores s marcas, at a adoo de noes de tipos de dados abstratos, conferindo-lhes um grande poder de expresso. Alm destas categorias tm-se extenses as quais podem ser associadas a qualquer uma delas. As principais extenses visam a incluso de hierarquias e de aspectos temporais s RdP. As extenses temporizadas referem-se quelas que incorporam aspectos temporais determinsticos aos modelos. As extenses

estocsticas,

por

sua

vez,

incorporam-lhes

aspectos

temporais

no

determinsticos. As extenses hierrquicas tm por objetivo permitir a representao de modelos de sistemas complexos de forma mais compreensvel pelo modelador. Via de regra as extenses hierrquicas no aumentam o poder de representao das RdP, apenas tornam mais fcil para o usurio a compreenso das redes resultantes.

Noes Fundamentais:
So trs os elementos bsicos que formam a estrutura topolgica das redes de Petri, quais sejam: estados; aes; e relao de fluxo. Estes elementos bem como alguns conceitos relacionados a eles so discutidos nesta seo. (1) Estados so usados para modelar componentes os componentes passivos dos sistemas, isto , correspondem s suas variveis de estado, formando um conjunto E = {e1, e2, ..., en}. (2) Aes so usadas para modelar os componentes ativos dos sistemas, ou seja, os eventos que levam o sistema de um estado a outro, formando um conjunto A = {a1, a2, ..., am}. (3) Relao de fluxo usada para especificar como se d a transformao de um estado em outro pela ocorrncia das aes no sistema. Esta relao representada pelo conjunto F = {(x,y) E A A E}. Ento a estrutura topolgica de uma rede dada por uma tripla R = (E, A, F), que define um grafo bipartido, dirigido e conexo, com as seguintes caractersticas: a. E A - o grafo no vazio e no tem elementos isolados; b. E A - seus conjuntos de estados e de aes so disjuntos; c. F (E A) (A E) a relao de fluxo est definida no universo de estados e aes, identificando a relao de vizinhana entre aquelas entidades; d. o domnio da relao de fluxo dado por: D(F) = {x E A / (x,y) F y E A};

e. o contra-domnio da relao de fluxo dado por: CD(F) = {y E A / (x,y) F x E A}; e f. D(F) CD(F) = E A a unio de domnio e contra domnio da relao de fluxo corresponde ao universo de estados e aes da rede. Existe uma notao grfica adequada para a representao dos elementos das redes de Petri. Esta notao determina que: os estados so representados por elipses; as aes so representadas por retngulos; e os elementos da relao de fluxo por setas.

Vale notar que tradicionalmente, em alguns modelos, estas figuras geomtricas so degeneradas, sendo os estados representados por crculos e as aes por barras ou quadrados. No caso das redes lugar/transio, por exemplo, utilizam-se crculos e barras. Em outros casos, como algumas redes estocsticas, as aes podem ser representadas tanto por barras quanto por retngulos, para diferenciar aes com disparo imediato de aes com disparo temporizado. Ento, uma rede cuja representao algbrica dada por: R = (E, A, F) E = {e1, e2, e3, e4, e5} A = {a1, a2, a3, a4} F = {(e1,a2), (e2,a2), (e3,a1), (e5,a4), (e4,a3), (a2,e3), (a3,e1), (a1,e2), (a4,e4), (a1,e5)} representada graficamente como mostra a Figura-1.

e5

a4

e4

a3

e1

a2

e3

a1

e2
Figura-1: Representao grfica de uma rede de Petri.

Definies:
(1) Estados e aes so noes concomitantemente interdependentes e distintas. (2) Estados e aes so entidades distribudas. (3) Um caso um subconjunto de estados, distribudos pela rede e satisfeitos simultaneamente. (4) Um passo um subconjunto de aes, distribudos pela rede e que podem ocorrer simultaneamente. (5) As alteraes provocadas por uma ao so fixas e independentes do caso no qual ela ocorre. (6) A ocorrncia de um estado representada graficamente por uma marca () colocada dentro da elipse correspondente. (7) Sendo = E A ( um estado ou uma ao da rede) um elemento da rede R = (E, A, F), seus elementos de entrada so dados pelo seu pr-conjunto, representado por = {x / (x,) F}, e seus elementos de sada so dados por seu ps-conjunto, representado por = {y / (,y) F}. (8) Uma ao pode ocorrer em um determinado instante se e somente se as alteraes provocadas pela ao so possveis no caso considerado. (9) Uma rede dita pura se e somente se , = , isto , se no contiver laos, como exemplificado na Figura-2.

Rede Pura

Rede Impura

Figura-2: Exemplo de Rede de Petri pura. 8

Concesses
(10) Diz-se que uma ao a pode ocorrer em um caso C se, e somente se, todas as pr-condies de a estiverem satisfeitas em C e nenhuma pscondio de a for satisfeita em C. C [ a > a C a C = (11) Por extenso, um passo P pode ocorrer em um caso C se, e somente se, todas as aes elementares de P puderem ocorrer individualmente em C, sem causarem interferncias umas nas outras. P = {ai / ai A P A} C [ P > ai P, C [ a >

Efeito de ocorrncia
(12) Quando uma ao a ocorre em C suas pr-condies perdem a validade, suas ps-condies passam a existir e o restante do caso permanece inalterado. C [ a > C C = (C \ a) a (13) Por extenso, o resultado de ocorrncia de um passo P no caso C a soma dos resultados individuais das ocorrncias das aes elementares do passo no caso considerado. P = {ai / ai A P A} C [ P > C C = (C \ P) P (14) Seja a ao a, com pr-condies e1 e e2 e com ps-condio e3, considerando a ao habilitada neste caso, representa-se a concesso da ao a com as marcas em e1 e e2 (como na Figura-3a) e o efeito de sua ocorrncia pela retirada das marcas de e1 e e2 e pela adio de uma marca em e3 (como na Figura-3b).

a = C = {e1,e2} a = {e3} C = C \ {e1,e2} {e3} = {e3}

e1 a e3
(a) antes

e2

e1 a e3
(b) depois

e2

Figura-3: Efeito da ocorrncia de uma ao.

Redes Elementares:
As redes de Petri elementares [17 e 18] constituem a verso atual, proposta para sintetizar as diversas variaes que surgiram sobre o modelo proposto por Petri em 1962, conhecidas na literatura por redes Clssicas ou Condio/Evento, mas ainda conservando suas caractersticas originais. Uma rede elementar uma qudrupla RE = (E, A, F, Cin), onde se tem: - R = (E, A, F) como sendo a rede base, isto , representando a estrutura topolgica esttica do sistema modelado, conservando toda a notao, a terminologia e os conceitos vistos para redes at agora; e - Cin como sendo um caso inicial, que representa a situao dinmica inicial do sistema, imediatamente antes de ser acionado. Portanto, a representao grfica de uma rede elementar consiste da notao grfica da rede subliminal acrescida da marcao do caso inicial por meio de marcas. A esta associao de uma estrutura topolgica de rede com um conjunto de marcas denomina-se rede marcada. H vrias maneiras das aes de uma rede elementar se relacionarem em um caso C, como veremos a seguir.

10

Seqncia
Dizemos que a1 e a2 formam uma seqncia em um caso C1 se, e somente se, a1 pode ocorrer em C1 e a2 no pode. Contudo, aps a ocorrncia de a1, a2 fica habilitado. Um exemplo de seqncia mostrado na Figura-4.

e1

a1

e2 a3

e6

a5

e8 Seqncia

a6

e9 a7

e3

a2

e4

e5

a4

e7

{e5,e6} [ a5 > {e5,e8} ({e5,e6} [a6 >) {e5,e8} [a6 > Figura-4: Exemplo de Situao de Seqncia

Conflito
Dizemos que a1 e a2 esto em conflito em um caso C se, e somente se, a1 e a2 podem ocorrer individualmente no caso C, mas no podem ocorrer simultaneamente. Portanto, {a1,a2} no um passo no caso C. No sendo possvel dizer qual das aes ocorrer primeiro, antes da execuo do sistema, pode-se dizer que a rede elementar no determinstica. Um exemplo de conflito mostrado na Figura-5.

e1

a1

e2 a3

e6 e0 e5

a5

e8

a6

e9 a7

Conflito a4 e7

e3

a2

e4

{e0,e5,e6} [a4> {e0,e5,e6} [a5> ({e0,e5,e6} [{a4,a5} >) Figura-5: Exemplo de Situao de Conflito

11

Concorrncia
Dizemos que a1 e a2 podem ocorrer concorrentemente em um caso C se, e somente se, no sofrerem interferncia mtua. No h uma ordem especificada para a ocorrncia das aes que compem o passo habilitado em C. Ento a ocorrncia das aes e os estados delas resultantes sero parcialmente ordenados, donde redes elementares podem exibir comportamento no seqencial. Um exemplo de concorrncia mostrado na Figura-6.

e1

a1 Concorrncia

e2 a3 e4

e6

a5

e8

a6

e9 a7

e3

a2

e5

a4

e7

{e1,e3} [ {a1,a2} Figura-6: Exemplo de Situao de Concorrncia

Confuso
uma situao resultante da mistura de concorrncia e conflito. Sendo a uma ao do espao de aes com concesso em C, o conjunto de conflitos de a em C, designado por cfl(a,C), o conjunto de aes a com concesso em C e que no formem passo com a, isto , cfl(a,C) = {aA / C[a> (C[{a,a}>)}. Portanto, para quaisquer duas aes a1 e a2, com concesso em C1, a tripla (C1,a1,a2) uma confuso em C1 se, e somente se, os conjuntos de conflito de a1 em C1 e em C2 forem diferentes e a execuo de a2 em C1 resultar em C2. Um exemplo de confuso mostrado na Figura-7. Observe-se que a4 e a6 esto potencialmente em conflito. Contudo, to logo a3 seja executada, a4 estar habilitada, mas a6 no. A confuso surge porque a5, que concorrente com a4 e

12

tambm fica habilitada aps a execuo de a3, pode ser executada antes de a4, habilitando a6 e colocando-a em conflito efetivo com a4.

e1

a1

e2 a3

e6 e0 e5

a5

e8 Confuso

a6

e9 a7

e3

a2

e4

a4

e7

cfl(a4,{e0,e5,e6}) = cfl(a4,{e0,e5,e8}) = {a6} A tripla ({e0,e5,e6},a4,a5) confuso em {e0,e5,e6} porque cfl(a4,{e0,e5,e6}) cfl(a4,{e0,e5,e8}) {e0,e5,e6} [ a5 {e0,e5,e8} Figura-7: Exemplo de Situao de Confuso

Espao de Estados
O espao de estados de uma rede elementar o conjunto de todos os casos da rede, que ocorrem durante a execuo do sistema (CRE = [Cin>). Este espao utilizado na anlise das propriedades da rede. O espao de estados da rede apresentada na Figura-4, mostrado na Figura-8. Ressalte-se que os vrtices do grafo representam os conjuntos de estados (casos) vlidos em cada instante da execuo do sistema e as arestas do grafo representam as aes (ou passos) que devem ser executadas para que o sistema passe de um caso a outro. Note-se ainda que, por simplicidade, nos vrtices foram anotados apenas os nmeros dos estados (1, 2, 3 ...) e no seus nomes (e1, e2, e3 ...).

13

a7 a6 1,4 a2 1,3 a1 2,3 {a1,a2} a1 2,4 a2 a3 a5 5,6 a4 3,6,7 a2 {a4,a5} a5 5,8 a4

a7 5,9 {a4,a6} a6 3,7,8 a2 {a2,a5} a5 4,6,7 a6 4,7,8 a4 3,7,9 {a2,a6}

a2 4,7,9

Figura-8: Espao de Estados correspondente rede da Figura-4.

Redes Lugar/Transio:
As redes elementares prestam-se fundamentalmente ao estudo de concorrncia e ao desenvolvimento terico das redes de Petri. Contudo, elas no so muito boas para utilizao prtica, pois os modelos desenvolvidos com essas redes chegam rapidamente a um nmero de elementos muito grande, mesmo ao se descrever sistemas simples. Na tentativa de suplantar esta dificuldade, na dcada de setenta foi desenvolvida uma extenso das redes clssicas, que foi chamada de rede lugar/transio [19 e 20], ou simplesmente redes LT. Embora estas redes tambm sejam de baixo nvel, as modificaes introduzidas nas propriedades das redes elementares, possibilitam a criao de modelos dos sistemas com estruturas topolgicas mais reduzidas. Para distinguir a nova extenso das existentes at ento, os estados da rede passaram a ser chamados de lugares e as aes de transies. A popularidade das RdP LT foi tal que a grande maioria das extenses criadas a partir desta poca conservaram esta nomenclatura.

Aspectos Estticos
A principal modificao introduzida nas RdP LT foi a possibilidade dos lugares acumularem mais de uma marca por vez, o que se contrape s redes

14

elementares nas quais os estados s podem ter uma marca em cada instante de tempo. Esta modificao teve implicaes importantes na definio da rede e, em especial, exigiu algumas modificaes perifricas, por assim dizer, como a necessidade de se criar arcos valorados, para viabilizar o desenvolvimento de modelos mais concisos. Desta feita, uma rede de Petri lugar/transio definida como uma sxtupla LT = (L, T, F, C, P, M0), na qual: R = (L, T, F) a rede base, isto , representa a estrutura topolgica esttica do sistema modelado, como na rede elementar, porm mudando a terminologia de estados para lugares e de aes para transies. Note-se que a relao de fluxo permanece inalterada. C: L + {} uma funo de capacidade, a qual determina o nmero mximo de marcas que podem coexistir em um lugar num dado instante. P: F + uma funo de peso dos arcos, a qual define quantas marcas so necessrias para executar determinada transio e quantas so geradas como resultado da execuo de certa transio. M0: L uma marcao inicial, que representa a situao dinmica inicial do sistema, imediatamente antes de ser acionado, como Cin fazia no caso das redes elementares. Define-se aqueles lugares de uma RdP LT ligados diretamente a uma transio, de forma que os arcos que os conectam tenham origem nos lugares e destino a transio, de conjunto de lugares de entrada da transio. Este conjunto de lugares de entrada de uma transio corresponde ao pr-conjunto de uma ao nas redes elementares e dado por: t = {l L / (l, t) F}. Analogamente definem-se aqueles lugares de uma RdP LT ligados diretamente a uma transio, de forma que os arcos que os conectam tenham origem na transio e destino nos lugares, de conjunto de lugares de sada da transio. Este conjunto de lugares de sada de uma transio corresponde ao ps-conjunto de uma ao nas redes elementares e dado por: t = {l L / (t, l) F}.

15

Aspectos Dinmicos
(1) A funo M: L uma marcao da rede LT se, e somente se, a marcao de cada um dos lugares da rede for menor ou igual capacidade do lugar correspondente l L, M(l) C(l). (2) Uma transio t est habilitada em uma marcao M se, e somente se, para todo o lugar da marcao pertencente ao conjunto de lugares de entrada de t, o peso correspondente ao arco que conecta o lugar transio considerada for menor ou igual ao nmero de marcas disponveis no lugar de entrada e o nmero de marcas pr-existentes em cada um dos lugares de sada da transio t for menor ou igual diferena entre suas respectivas capacidades e o peso dos arcos de sada correspondentes, l L: P(l, t) M(l) C(l) P(t, l) M[tT>. (3) Se t uma transio habilitada na marcao M, ento t pode ocorrer e o resultado uma nova marcao M obtida subtraindo-se da marcao M o nmero de marcas correspondentes aos pesos dos arcos de entrada da transio e adicionando-se marcao M o nmero de marcas correspondentes aos pesos dos arcos de sada da transio, l L: M(l) [tT> M(l) = M(l) P(l, t) + P(t, l). (4) A ocorrncia de uma transio nas RdP LT chama-se, mais comumente, de disparo da transio. Ele transforma a marcao M na marcao M e as notaes utilizadas para denota-lo so M [t> M ou M (5)
t

M .

O conjunto de alcanabilidade de uma RdP LT o menor conjunto formado por todas as marcaes que se pode atingir pelo disparo das transies da rede correspondente a partir da marcao inicial da rede. Este conjunto denotado por [M0> e tal que se M0, Mi e Mj so marcaes diferentes de uma RdP LT e se m e n so duas seqncias quaisquer de disparos de transies da rede, ento Mj [M0> se M0[m>Mi Mi[n>Mj.

Exemplo de Simplificao
Nesta seo apresenta-se um exemplo da simplificao obtida com a utilizao das RdP LT. Trata-se do problema bastante conhecido dos produtores

16

e consumidores. Apenas para recorda-lo rapidamente, trata-se de um conjunto de elementos que produzem bens, os produtores, e outro conjunto de elementos que consomem os bens, os consumidores, produzidos pelos elementos do primeiro conjunto. Este problema bastante genrico e pode ser aplicado em diversas situaes. Neste exemplo consideraremos a situao do telefrico em uma estao turstica. Neste sistema os turistas sobem e descem a montanha utilizando-se de vages suspensos por cabos, para apreciar a paisagem. Inicialmente, consideremos que a estao turstica no dispe de muitos recursos e tem apenas um vago em operao. Tambm, consideremos que para reduzir os custos operacionais este vago s funciona em um sentido, por exemplo, subindo a montanha. Assim, os turistas chegam no p da montanha, so transportados para cima e so recepcionados l no topo por um funcionrio que lhes mostra a vista e os encaminha para outro meio de transporte, para a descida. O telefrico pode ser modelado como tendo uma estao produtora de turistas (a estao de embarque no vago, no p da montanha), uma estao consumidora de turistas (a estao de desembarque do vago, no topo da montanha) e um sistema de transmisso de turistas (a linha por onde eles so transportados). Consideremos ainda que a nossa unidade de transporte um grupo de at seis turistas por vez e que nunca chegam mais do que seis turistas, simultaneamente, na estao de embarque. Este sistema pode ser modelado por uma rede elementar, conforme apresentado na Figura-9.

Embarcando turistas Vago em trnsito Sada do vago Aguardando turistas

Desembarcando turistas

Chegada de turistas

Chegada do vago Aguardando vago

Sada de turistas

Figura-9: Rede elementar modelando um telefrico com um nico vago e uma nica linha.

17

Imaginemos agora que o movimento de turistas aumentou e que um nico vago no suficiente para carrega-los adequadamente montanha acima, pois provoca filas de espera muito longas, o que no agrada a ningum. Ento, o gerente da estao turstica decide investir em mais dois vages, de forma que agora possvel embarcar trs grupos de at seis turistas por vez. Esta nova situao pode ser representada pela rede elementar apresentada na Figura-10. Note-se que para representar os trs vages em utilizao na linha, foi necessrio criar dois novos estados entre o produtor e o consumidor.

Embarcando turistas Vago A em trnsito Sada de vago Vago B em trnsito

Desembarcando turistas Vago C em trnsito Chegada de vago

Chegada de turistas

Incio do segundo trecho do percurso

Incio do ltimo trecho do percurso

Sada de turistas

Aguardando turistas

Aguardando vago

Figura-10: Rede elementar modelando um telefrico com trs vages e uma nica linha.

Esta profuso de vages na linha atrai cada vez mais turistas para passearem de telefrico, de tal sorte que um nico grupo de seis turistas por vez no mais suficiente. Sensvel ao problema o gerente da estao turstica decide ampliar o negcio e, como a linha disponvel no suporta vages com capacidade superior a seis pessoas, ele decide construir uma linha paralela, ampliando as estaes de embarque e desembarque. Assim, ele pode transportar dois grupos (doze turistas) simultaneamente, por meio de duas linhas paralelas, cada uma contendo trs vages com capacidade para seis turistas cada vago. Esta nova situao pode ser representada pela rede elementar da Figura-11. Note-se que a rede est ficando, rapidamente, mais complexa, conforme acrescentamos funcionalidades ao sistema modelado.

18

Aguardando turistas linha 2

Sada de vago da linha 2

Incio do segundo trecho do percurso 2 Vago A2 em trnsito

Incio do ltimo trecho do percurso 2

Chegada de vago na linha 2

Aguardando vago linha 2

Vago B2 em trnsito

Embarcando turistas linha 2 Chegada de turistas

Vago C2 em trnsito Desembarcando turistas linha 2 Desembarcando turistas linha 1 Vago C1 em trnsito Chegada de vago na linha 1

Embarcando turistas linha 1 Vago A1 em trnsito Sada de vago da linha 1 Vago B1 em trnsito

Sada de turistas da linha 1

Aguardando turistas linha 1

Incio do segundo trecho do percurso 1

Incio do ltimo trecho do percurso 1

Aguardando vago linha 1

Figura-11: Rede elementar modelando um telefrico com seis vages e duas linhas.

O objetivo da criao das redes lugar/transio foi, exatamente, reduzir a complexidade dos modelos resultantes, para facilitar seu tratamento. O modelo em rede elementar apresentado na Figura-11 pode ser transformado em um modelo mais simples utilizando-se as redes lugar/transio. A primeira simplificao possvel consiste em representar os trs vages de cada linha de transmisso por um nico lugar com capacidade igual a trs. A segunda simplificao possvel consiste em representar as duas linhas juntando-se os lugares correspondentes a cada linha, aumentando-se sua capacidade para seis, e aglutinando os arcos de entrada e de sada destes lugares de tal forma que os arcos do novo lugar passem a ter peso dois, representando os vages das duas linhas. Note-se que esta aglutinao subentende que devido ao grande fluxo de turistas os vages de ambas as linhas saem sempre aos pares e que, como as linhas funcionam mesma velocidade, eles tambm chegam ao destino aos pares. A rede lugar/transio resultante no necessita representar o agrupamento de turistas e ficaria como apresentada na Figura-12.

19

Embarcando turistas Vages em trnsito C=6

Desembarcando turistas

Chegada de turistas

2 Sada de vages Aguardando turistas

2 Chegada de vages Aguardando vages

Sada de turistas

Figura-12: Rede lugar/transio modelando um telefrico com duas linhas e seis vages.

Redes de Alto Nvel:

A principal caracterstica das redes de alto nvel [22], comparativamente s redes elementares, que nestas as marcas apresentam condies puramente booleanas e naquelas as marcas representam dados idividualizados. Os dois principais modelos de redes de alto nvel so as redes

predicado/transio, que se baseiam na lgica de predicados de primeira ordem, e as redes coloridas, as quais originalmente foram orientadas a representaes algbrico-lineares. Uma rede predicado/transio uma quntupla PrT = (R, L, , U, Min), onde: R = (L, T, F) a rede bsica; L uma linguagem disjunta de L; L um mapeamento (parcial) com domnio TF, inscrevendo: (a) algumas transies t (no necessariamente todas) com frmulas L,t chamadas de guardas da transio; (b) cada arco (x, y) F com um conjunto finito (x, y) = (1, 2, ..., m} de nuplas de termos L, em que n a aridade do lugar pertencente ao arco; U um modelo para L; e Min uma marcao inicial. Uma rede colorida uma enetupla RPC = (S, L, T, A, N, C, G, E, I) conforme as definies a seguir: 20

S o conjunto de cores que determina os tipos, as operaes e as funes que podem ser usadas nas inscries da rede; L o conjunto de lugares, T o conjunto de transies e A o conjunto de arcos, os quais devem ser finitos e disjuntos dois a dois; N a funo nodal que mapeia cada arco em um par cujo primeiro elemento o n fonte e o segundo elemento o n destino; C a funo de cores que mapeia cada lugar em um conjunto de cores; G a funo guarda que mapeia cada transio em uma expresso booleana; E a funo que mapeia cada arco em uma expresso cujo resultado um multiconjunto sobre o conjunto de cores associado ao lugar correspondente; e I a funo de inicializao que mapeia cada lugar em uma expresso cujo resultado um multiconjunto sobre o conjunto de cores dos lugares.

Extenses das Redes de Petri:

Nesta seo falamos das extenses mais significativas das redes de Petri, quais sejam, as extenses hierrquicas e as temporizadas. Ambas extenses podem ser aplicadas tanto em redes de baixo nvel quanto de alto nvel.

Redes Hierrquicas
A modelagem de sistemas de grande porte resulta em redes muito complexas, cuja compreenso fica bastante prejudicada se no utilizarmos mecanismos de estruturao ao desenvolvermos tais modelos. Esta estruturao , na verdade, apenas uma convenincia grfica, para facilitar a legibilidade dos modelos resultantes; ela no acrescenta qualquer poder computacional ao modelo. A hierarquizao das redes de Petri se d pela estratificao de lugares ou transies. Por meio da modelagem hierrquica de sistemas possvel considerar diversos nveis de detalhamento ao observa-los. Conseqentemente, em cada fase da anlise pode-se atentar para aspectos diferentes do sistema modelado. Alm

21

disto, como o modelo construdo de forma modular, possvel utilizar partes do modelo de determinado sistema na modelagem de outros sistemas que lhe sejam semelhantes. A hierarquia baseia-se na possibilidade de refinar partes do sistema modelado em sub-redes associadas a lugares ou transies de uma rede. Sendo esta rede, portanto, descrita em nvel de abstrao mais elevado. Contudo, pode haver dificuldade no controle da consistncia dos modelos quando necessrio refinar elementos adjacentes da rede. Por esta razo, muitas extenses hierrquicas permitem a estratificao apenas de lugares, outras apenas de transies e outras de lugares e transies, mas muitas no permitem o refinamento de elementos adjacentes. [23] Um dos morfismos utilizados para a obteno de redes hierrquicas a substituio de transies. Neste caso, algumas transies da rede so designadas como transies de substituio e correspondem a uma sub-rede. Cada rede pode ter diversas sub-redes e as sub-redes podem ser aninhadas em vrios nveis de detalhamento. A interface entre uma transio de substituio e a sub-rede correspondente feita por meio de lugares-porta. A Figura-13a apresenta uma rede de Petri contendo uma transio de substituio e a Figura13b apresenta a sub-rede correspondente. A Figura-13c mostra a rede resultante da substituio da rede da Figura-13b na rede da Figura-13a.

TS

(a)

(b)

(c)

Figura-13: Exemplo de hierarquia por estratificao de transies. (a) Nvel hierrquico superior (TS transio de substituio); (b) Nvel hierrquico inferior (lugares hachurados lugares-porta); (c) Rede plana correspondente substituio de (b) em (a).

22

Note-se que na Figura-13a a transio de substituio identificada com uma inscrio TS no canto inferior direito. Esta transio a que deve ser substituda pela sub-rede, para efeitos de planarizao do modelo, isto , quando se deseja desfazer a hierarquia da rede e a conseqente recuperao do modelo completo, sem hierarquias. Analogamente, na Figura-13b, pode-se observar lugares hachurados. Embora esta notao no seja usual, ela foi utilizada nesta figura para identificar os lugares-porta. Estes lugares so cpias dos lugares de entrada e de sada da transio de substituio, na rede de nvel hierrquico superior. Ao se substituir a sub-rede na transio de substituio correspondente, estes lugares desaparecem do modelo, pois so usados apenas para refletir, na subrede, o comportamento da rede mais abstrata. O outro morfismo utilizado para a obteno de redes hierrquicas a substituio de lugares. Neste caso, alguns lugares da rede so designados como lugares de substituio e correspondem a uma sub-rede. A exemplo do morfismo anterior, cada rede pode ter diversas sub-redes e as sub-redes podem ser aninhadas em vrios nveis de detalhamento. A interface entre um lugar de substituio e a sub-rede correspondente feita por meio de transies-porta. A Figura-14a apresenta uma rede de Petri contendo um lugar de substituio e a Figura-14b apresenta a sub-rede correspondente. A Figura-14c mostra a rede resultante da substituio da rede da Figura-14b na rede da Figura-14a.

LS

(a)

(b)

(c)

Figura-14: Exemplo de hierarquia por estratificao de lugares. (d) Nvel hierrquico superior (LS lugar de substituio); (e) Nvel hierrquico inferior (transies hachuradas transies-porta); (f) Rede plana correspondente substituio de (b) em (a).

23

Note-se que na Figura-14a o lugar de substituio identificado com uma inscrio LS. Este lugar o que deve ser substitudo pela sub-rede, para efeitos de planarizao do modelo, isto , quando se deseja desfazer a hierarquia da rede e a conseqente recuperao do modelo completo, sem hierarquias. Analogamente, na Figura-14b, pode-se observar transies hachuradas. Embora esta notao no seja usual, ela foi utilizada nesta figura para identificar as transies-porta. Estas transies so cpias das transies de entrada e de sada do lugar de substituio, na rede de nvel hierrquico superior. Ao se substituir a sub-rede no lugar de substituio correspondente, estas transies desaparecem do modelo, pois so usadas apenas para refletir, na sub-rede, o comportamento da rede mais abstrata.

Redes Temporizadas
O formalismo a que chamamos de redes de Petri possibilita a representao de sistemas dinmicos a eventos discretos, com atividades concorrentes e assncronas. Entretanto, para que seja possvel especificar sistemas de tempo real, avaliar o desempenho de sistemas dinmicos de um modo geral e examinar questes referentes ao seu escalonamento, por exemplo, necessrio que se considerem informaes relativas ao tempo em que ocorrem os eventos no sistema considerado. Os modelos estudados at o momento permitem apenas a descrio funcional desses sistemas, levam em conta apenas a relao causal entre os eventos dos sistemas modelados, mas no possibilitam a representao da relao do tempo de ocorrncia de tais eventos. As redes de Petri temporizadas so extenses que buscam acrescentar s redes de Petri a possibilidade de anlise no domnio de tempo [24, 25, 26]. Nestas extenses o tempo pode estar associado s marcas, aos arcos, aos lugares ou s transies. Quando associado s marcas, elas carregam uma informao indicando, geralmente, quando a marca estar disponvel para ser considerada para a habilitao de transies. Quando a informao de tempo est associada aos arcos, a cada arco associado um tempo de disparo. Quando a informao de tempo est associada aos lugares, usualmente, corresponde a uma indicao do tempo que a marca deve permanecer naquele lugar antes de ser utilizada

24

para a habilitao das transies sucessoras do lugar em questo. Finalmente, quando o tempo associado s transies a indicao refere-se, de modo geral, tempo que a ao leva para ser executada. Estas extenses temporais podem ser determinsticas ou estocsticas [24]. As extenses determinsticas surgiram na primeira metade da dcada de setenta e indicam tempos absolutos relativos execuo dos eventos correspondentes. As extenses estocsticas, por sua vez, permitem considerar incertezas nos instantes de execuo de eventos do sistema associando a eles funes de probabilidade para a determinao de sua execuo. Uma possvel classificao para as redes de Petri temporizadas apresentada na Figura-15, a qual uma adaptao da classificao apresentada por Wang [24]. Esta adaptao discutida no pargrafo que segue a figura.
Redes de Petri Temporizadas Determinsticas Temporizadas nas Transies Temporizadas nos Lugares Temporizadas nas Marcas Temporizadas nos Arcos Estocsticas Redes de Petri Estocsticas Redes de Petri Estocsticas Generalizadas Redes de Petri Estocsticas de Alto Nvel Redes de Petri Estocsticas Semi-Markovianas Redes de Petri Estocsticas Estendidas Redes de Petri Estocstico-Determinsticas Redes de Petri Estocsticas Arbitrrias

Figura-15: Uma classificao de redes de Petri temporizadas.

25

Na Figura-15 consideram-se as redes de Petri com temporizao nas marcas, como as redes coloridas, englobadas por Wang como redes temporizadas nos arcos. Tambm fundem-se as redes de petri estocsticas coloridas e as redes de Petri de alto nvel estocsticas em uma nica classe, qual seja, a das redes de Petri estocsticas de alto nvel, uma vez que no parece razovel separar as redes coloridas das demais redes de alto nvel. Pelas razes discutidas na seo seguinte, no se faz aqui a distino entre redes de Petri temporizadas e redes de Petri com tempos, uma vez que estas formam um superconjunto daquelas.

Redes Temporizadas Determinsticas Foram trs os primeiros modelos de redes de Petri temporizadas determinsticas a serem propostos no incio da dcada de setenta, quais sejam, o modelo de Ramchandani, o modelo de Merlin e o modelo de Sifakis, todos baseados nas redes lugar/transio, que era ento o modelo de redes de Petri mais utilizado em aplicaes prticas. Nas redes propostas por Ramchandani em 1973 [06], alm da rede lugar/transio define-se uma funo que associa a cada transio um nmero relativo durao do seu disparo, o qual ocorre em duas etapas: inicialmente, logo aps se tornar habilitada o pr-conjunto da transio decrementado das marcas correspondentes aos pesos dos respectivos arcos de entrada; a seguir, depois de transcorrido um intervalo de tempo (t), o ps-conjunto da transio acrescido das marcas correspondentes aos respectivos arcos de sada. Nas redes propostas por Sifakis em 1976 [08], alm da rede lugar/transio define-se uma funo que associa um atraso a cada lugar, o que torna as marcas que chegam em determinado lugar indisponveis por um certo intervalo de tempo. Tais marcas s ficaro disponveis para uso aps o decurso do perodo (l), associado ao lugar em questo. Posteriormente, foi demonstrado que as redes de Sifakis e de Ramchandani so equivalentes e que constituem casos particulares das redes de Merlin. Por esta razo, a seguir estudamos com mais detalhes apenas as redes de Merlin.

26

A rede de Petri temporizada proposta por Merlin em 1974 [07] dada pela septupla TPN = (L, T, F, C, P, M0, Ie), onde os primeiros seis termos correspondem a uma rede lugar/transio normal: R = (L, T, F) rede base C: L + {} funo capacidade P: F + funo peso M0: L marcao inicial E o stimo termo uma funo, Ie: T x ( ), que associa um intervalo fechado [, ] 0 a cada transio, chamado de intervalo de disparo esttico. O limite inferior, , do intervalo o tempo de disparo inicial (TDI) esttico e o limite superior, , do intervalo o tempo de disparo final (TDF) esttico. o conjunto dos nmeros racionais. O disparo de uma transio ocorre dentro do intervalo Ie, a menos que a transio seja desabilitada pelo disparo de outra transio. Aps a habilitao de uma transio, o TDI associado indica o perodo de tempo mnimo que a transio deve esperar at que se possa executar a ao correspondente a ela e o TDF representa o perodo mximo admissvel de espera para o disparo da transio. Segundo esta definio, uma rede lugar/transio um caso particular da rede temporizada de Merlin, na qual cada transio estaria associada a um intervalo de disparo esttico igual a [0, ].

Redes Temporizadas Estocsticas H vrios modelos de redes estocsticas, dentre eles pode-se citar as redes estocsticas propostas por Natkin em 1980 [27] e por Molloy em 1981 [28, 29], as redes estocsticas estendidas propostas por Dugan et al. [30] e as redes estocsticas generalizadas propostas por Marsan et al. [12] ambas em 1984. O modelo mais abrangente o das redes de Petri estocsticas generalizadas, GSPN = (L, T, F, C, P, I, W, M0), proposto pelo pessoal da Universidade de Torino, na Itlia. Este modelo composto por uma rede lugar/transio com dois

27

tipos de transies, as temporizadas e as imediatas. As transies temporizadas tm retardos associados por uma funo peso, W(t), correspondentes a variveis aleatrias distribudas exponencialmente. As transies imediatas so associadas com nveis de prioridades ditados por uma funo de prioridades, P(t), e tm retardos deterministicamente nulos. R = (L, T, F) rede base

C: L + {} funo capacidade P: T I W: T M0 : L funo de prioridades arcos inibidores funo peso marcao inicial

Alm disto, a relao de fluxo acrescida de arcos inibidores que servem, fundamentalmente, para a realizao de testes por zero. Por exemplo, na Figura-16, a transio s dispara se e1 possuir uma marca e se e2 no possuir marcas, isto , se houver uma ou mais marcas em e2 a transio no disparar.

e1

e2

e3
Figura-16: Exemplo de rede estocstica com arco inibidor.

28

Referncias Bibliogrficas:
[01] C.A.Petri, Kommunication mit Automaten. Schriften des IIM Nr.2, Institut fr Instrumentelle Mathematik, Bonn, 1962. Traduzida para o ingls como: Communication with Automata, Technical Report RADC-TR-65-377, Griffiths Air Force Base, New York, Vol.1, Suppl.1, 1966. [02] C.A.Heuser, Modelagem Conceitual de Sistemas. (1a. Edio, EBAI - 1988) 2a. Edio, Campinas: UNICAMP (IV Escola Brasileiro-Argentina de Informtica), 150 pgs., 1991. [03] W.Reisig, Petrinetze - Eine Einfhrung, Springer Verlag, 158 pgs., 1982 (ISBN: 3540114785). Este livro foi traduzido para o italiano (1984) e o ingls (1985), e teve uma segunda edio alem, corrigida e expandida, em 1986. [04] G.W.Brams, Rseaux de Petri: Thorie et Pratique. Tome 1: Thorie et Analyse (ISBN: 2903607125). Tome 2: Modlisation et Applications (ISBN: 2903607133). Editions Masson, setembro de 1982. (Brams usado como nome coletivo de: Brams, G.W.; Andre, C.; Berthelot, G.; Girault, C.; Memmi, G.; Roucairol, G.; Sifakis, J.; Valette, R.; Vidal-Naquet, G.) Este livro foi traduzido para o italiano em 1985 e para o espanhol em 1986. [05] J.L.Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, Inc., 190 pgs., junho de 1981 (ISBN: 0136619835). [06] C.Ramchandani, Analysis of Asynchronous Concurrent Systems by Means of Petri Nets. Project MAC, TR-120, MIT, Cambridge, MA, 1974. [07] P.M.Merlin e D.J.Farber, Recoverability of Communication Protocols Implication of a Theoretical Study. IEEE Transactions on Communications, pgs.1036-1043, setembro de 1976. [08] J.Sifakis, Use of Petri nets for Performance Evaluation.

3rd International Symposium on Modeling and Evaluation, IFIP, North Holland, pgs. 75-93, 1977. [09] F.J.W.Simons, Modelling and Analysis of Communication Protocols Using Numerical Petri Nets. Tese de Doutorado, Report 152, Department of Electrical and Engineering Science, University of Essex, Telecommunications System Group, 1978. 29

[10] H.Genrich e K.Lautenbach, Facts in Place/Transition Nets. Proceedings of the Seventh Symposium on Mathematical Foundations of Computer Science. Lecture Notes in Computer Science, Vol.64, pgs.213-231, 1978. [11] K.H.Jensen, High-level Petri Nets. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag 1983, 166-180. [12] M.A.Marsan, G.Balbo e G.Conte, A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems. ACM Transactions on Computer Systems, 2(2)93-122, maio de 1984. [13] T.Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, 77(4)541-580, april de 1989.[14] K.H.Jensen, Coloured Petri Nets. Vol.1: Basic Concepts, 1996 (2nd Ed.) (ISBN: 3540609431). Vol.2: Analysis Methods, 1995 (ISBN: 3540582762). Vol.3: Practical Use (ISBN: 3540628673), 1997. Springer Verlag.[15] P.R.M.Maciel, R.D.Lins e P.R.F.Cunha, Introduo s Redes de Petri e Aplicaes. X Escola de Computao da SBC, 187 pgs., 1996. [16] J.Cardoso e R.Valette, Redes de Petri. Editora da UFSC, 212 pgs., 1997 (ISBN: 8532800955). [17] P.S.Thiagarajan, G.Rozenberg e C.Fernndez, Elementary Net Systems Fundamentals, in W.Brauer, W.Reisig e G.Rozenberg (Eds.) Petri Nets: Central Models and Their Properties Section 1, Lecture Notes in Computer Science, vol.254, pp.25-115, Springer-Verlag, 1987 (ISBN: 3540179054). [18] G.Rozenberg e J.Engelfriet, Elementary Net Systems, in W.Reisig e G.Rozenberg (Eds.) Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol.1491, pp.12-121, Springer-Verlag, 1998 (ISBN: 3540653066). [19] W.Reisig, K.Lautenbach e E.Best, Place/Transition Systems

Fundamentals, in W.Brauer, W.Reisig e G.Rozenberg (Eds.) Petri Nets: Central Models and Their Properties Section 2, Lecture Notes in Computer Science, vol.254, pp.116-205, Springer-Verlag, 1987 (ISBN: 3540179054).

30

[20] W.Reisig, A Primer on Petri Net Design, Springer Verlag Nova Iorque, 1992 (ISBN: 0387520449). Traduo de Systementwurf mit Netzen, Springer Verlag Berlin, 1985 (ISBN: 3540520449). [21] J.Desel e W.Reisig, Place/Transition Nets, in W.Reisig e G.Rozenberg (Eds.) Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol.1491, pp.122-173, Springer-Verlag, 1998 (ISBN: 3540653066). [22] K.Jensen e G.Rozenberg (Eds.), High-level Peri Nets Theory and Application, Springer-Verlag, 1991 (ISBN: 354054125X). [23] P.R.M.Maciel, R.D.Lins e P.R.F.Cunha, Introduo s Redes de Petri e Aplicaes, 10a Escola de Computao da Sociedade Brasileira de Computao, Instituto de Computao da UNICAMP, 187pp., Campinas, 8 a 13 de julho de 1996. [24] J.Wang, Timed Petri Nets Theory and Application, Kluwer Academic Publishers, 1998 (ISBN: 0792382706). [25] W.M.Zuberek, Timed Petri Nets: Definitions, Properties, and Applications, Microelectronics and Reliability, 31(4)627-644, 1991. [26] P.H.Starke, A Memo on Time Constraints in Petri Nets, Informatik-Berichte, Nr.46, 28pp., Humboldt-Universitt zu Berlin, Agosto de 1995 [27] S.Natkin, Les Rseaux de Petri Stochastiques et Leur Application a Levaluation des Systemes Informatiques, Thse de Docteur Ingegneur, CNAM, Paris, France, 1980. [28] M.Molloy, On the Integration of Delay and Throughput Measures in Distributed Processing Models, Ph.D.Thesis, UCLA, 1981. [29] M.Molloy, Performance Analysis Using Stochastic Petri Nets, IEEE Transactions on Computers, C-31(9)913-917, 1982. [30] J.B.Dugan, K.S.Trivedi, R.M.Geist e V.F.Nicola, Extended Stochastic Petri Nets: Application and Analysis, Proceedings of Performance84, pp.507-519, Paris, Frana, 1984.

31

Apndices
Algortmo gerador da rvore de cobertura:
Para a gerao da rvore de coberturas define-se uma varivel , que representa um nmero qualquer de marcas e, em relao a uma varivel a qualquer, apresenta as seguintes propriedades: +a= -a= a< Os ns da rvore de cobertura podem ser de quatro tipos, quais sejam: fronteira, interiores, terminais e duplicatas. Os ns de fronteira so aqueles que ainda no foram processados. Os ns interiores so aqueles j processados e que produziram algum sucessor. Os ns terminais so aqueles j processados e que no possuem qualquer sucessor. Os ns duplicatas so aqueles iguais a algum outro n (interior ou terminal), os quais, por terem sucessores idnticos, no precisam ser analisados. No comeo, a marcao inicial a raiz da rvore e este n definido como um n de fronteira. Etapas : (1) Seja um n de fronteira. (2) Se h outro n na rvore, que no seja n fronteira e que tenha a mesma marcao associada (M=M), ento o n definido como uma duplicata. (3) Se nenhuma transio estiver habilitada na marcao M, ento definido como um n terminal. (4) Para todas as transies tj T, habilitadas em M, criar um novo n na rvore. A marcao M associada a este novo n , para cada lugar li, definida por: (a) se M(li)=, ento M(li)=;

32

(b) se existe um n no percurso do n raiz ao n tal que M < (M, tj) e M(li) < (M, tj)/li, ento M(li)=w; (c) em qualquer outro caso M(li) < (M, tj)/li. (5) Insere-se um arco rotulado com tj, direcionado do n ao n . (6) Redefine-se o n como interior e o n como fronteira. (7) Havendo ns de fronteira volta-se ao passo (2). Quando no houver mais ns de fronteira o algoritmo termina.

33