Introduo s Redes de Petri

Prof. Dr. Carlos Renato Lisboa Francs Laboratrio de Computao Aplicada LACA Universidade Federal do Par - UFPA rfrances@ufpa.br Agosto de 2003

1. Redes de Petri
Rede de Petri uma tcnica de modelagem que permite a representao de sistemas, utilizando como alicerce uma forte base matemtica [MAC96]. Essa tcnica possui a particularidade de permitir modelar sistemas paralelos, concorrentes, assncronos e no-determinticos [VAL80]. A representao grfica de uma rede de Petri bsica formada por dois componentes: um ativo chamado de transio (barra) e outro passivo denominado lugar (crculo). Os lugares equivalem s variveis de estado e as transies correspondem s aes realizadas pelo sistema [MAC96]. Esses dois componentes so ligados entre si atravs de arcos dirigidos. Os arcos podem ser nicos ou mltiplos. A figura 1 mostra os elementos bsicos de um grafo associado s redes de Petri.

Lugar P 0 Arco

Lugar P 1

T ransio t 0

Figura 1. Grafo e seus Elementos Bsicos. 1.1. Definies As redes de Petri podem ser enfocadas atravs de trs fundamentaes diferentes. A primeira utiliza a teoria bag como suporte. A segunda usa os conceitos da lgebra matricial. A ltima se fundamenta na estrutura definida por relaes. A seguir so apresentadas as definies formais de cada uma dessas fundamentaes. Fundamentaes para Redes de Petri Definio 1: uma rede de Petri R uma quntupla R = (P, T, I, O, K), onde P = {p1, p2,...,pn} um conjunto finito no-vazio de lugares, T = {t1, t2,..., tm} um conjunto finito no-vazio de transies. I : T P um conjunto de bags 1 que representa o mapeamento de transies para lugares de entrada. O : T P um conjunto de bags que representa o mapeamento de transies para lugares de sada. K : P N o conjunto da capacidades associadas a cada lugar, podendo assumir um valor infinito [PET81].

Bag uma generalizao do conceito de conjunto que admite a repetio de elementos. Na notao de bags, utiliza-se [ ], enquanto que para denotar conjuntos, utiliza-se { } [MAC96].

Para exemplificar a definio 1, supe-se que se deseje representar um ano letivo de uma Universidade. O ano letivo comea com o primeiro perodo (semestre) letivo, seguido das primeiras frias (de julho), logo aps, tem-se o segundo perodo letivo, e finalmente as frias de final de ano. Assim, o ano letivo poderia ser representado conforme a figura 2.
Retornar 1oPerodo 1 Perodo
o

Frias2

GozarFrias2 GozarFrias1

Frias1 Retornar 2oPerodo

2oPerodo

Figura 2. Ano Letivo Representado Graficamente em Redes de Petri. A figura 2 pode ser descrita da seguinte forma, utilizando-se a definio 1: RAno_Letivo = ( P, T, I, O, K ), onde o conjunto de lugares P P = {1oPerodo, Frias1, 2oPerodo, Frias2}; o conjunto de transies T T = {GozarFrias1, Retornar2oPerodo, GozarFrias2, Retornar1oPerodo}; o conjunto de bags de entrada I I = { I (GozarFrias1) = [1oPerodo], I (Retornar2oPerodo) = [Frias1], I (GozarFrias2) = [2oPerodo], I (Retornar1oPerodo) = [Frias2] }; o conjunto de bags de sada O O = {O (GozarFrias1) = [Frias1], O (Retornar2oPerodo) = [2oPerodo], O (GozarFrias2) = [Frias2], O (Retornar1oPerodo) = [1oPerodo] };

e o conjunto de capacidades dos lugares K = { K1oPerodo = 1, K Frias1 = 1, K2oPerodo = 1, K Frias2 = 1}. Definio 2: a estrutura de uma rede de Petri, segundo o ponto de vista matricial, uma quntupla R = (P, T, I, O, K), onde P um conjunto finito de lugares. T um conjunto finito de transies, I : P x T N a matriz de pr-condies. O : P x T N a matriz de ps-condies. K o vetor das capacidades associados aos lugares (K : P N) [PET81]. Tomando-se como base novamente a figura 2, tem-se: Os conjuntos de lugares e transies so idnticos queles vistos para a definio1. A matriz I (pr-condies)
GozarFrias1 1 0 0 0 Retornar2oPerodo 0 1 0 0 GozarFrias2 0 0 1 0 Retornar1oPerodo 0 0 0 1

I=

1oPerodo Frias1 2oPerodo Frias2

A matriz O (ps-condies) :
GozarFrias1 0 1 0 0 Retornar2oPerodo 0 0 1 0 GozarFrias2 0 0 0 1 Retornar1oPerodo 1 0 0 0

O=

1oPerodo Frias1 2oPerodo Frias2

importante ressaltar que as matrizes I e O representam as pr e ps-condies, respectivamente, de todas as transies da rede.

Definio 3: a estrutura de redes de Petri, usando-se relaes, formada por uma quntupla R = (P, T, A, V, K), onde P o conjunto de lugares, T o de transies, A o conjunto dos arcos e V corresponde ao conjunto de valoraes desses arcos. Os elementos de A so arcos que conectam transies a lugares ou lugares a transies (A (P x T) (T x P)). Assim, os elementos de A podem ser agrupados em dois subconjuntos - o conjunto das entradas s transies e o de sada s transies, I = {(pi, tj)} e O = {(tj, pi)}, respectivamente [MUR89].

Tomando-se ainda como referncia a figura 2, tem-se que os conjuntos de lugares (P), de transies (T) e de capacidades (K) permanecem inalterados. Entretanto, na notao

que utiliza relaes, h o surgimento de dois novos conjuntos: o conjunto de arcos (A) e o conjunto de valores para esses arcos (V). o conjunto de arcos A A = { (1oPerodo, GozarFrias1), (GozarFrias1, Frias1), (Frias1, Retornar2oPerodo), (Retornar2oPerodo, 2oPerodo), (2oPerodo, GozarFrias2), (GozarFrias2, Frias2), (Frias2, Retornar1oPerodo), (Retornar1oPerodo, 1oPerodo) } o conjunto de valores dos arcos V V = {1, 1, 1, 1, 1, 1, 1, 1}

Redes de Petri Marcadas

Marcas (tokens) so informaes atribudas aos lugares, para representar a situao (estado) da rede em um determinado momento. Define-se uma rede de Petri marcada pela dupla RM = (R, Mo), onde R a estrutura da rede e Mo a marcao inicial [MAC96]. Assim, para simular o comportamento dinmico dos sistemas, a marcao da rede de Petri modificada a cada ao realizada (transio disparada). A figura 3 [MAC96] ilustra uma rede marcada.

P1

t1

P3

P2 t2

Figura 3. Rede Marcada.

 Notaes Particulares
Em alguns casos, deseja-se representar a diferena entre transies, visando melhorar a clareza do modelo. Alm disso, em muitas situaes, pretende-se representar a execuo de uma condio externa ao sistema modelado. Para representar rtulos de transies, utiliza-se um alfabeto qualquer associado rede (por exemplo, o alfabeto a,b,c,....,z). Para representar as condies externas, usa-se o mesmo esquema utilizado para rotular transies, entretanto, os smbolos vm entre parnteses (conforme ilustra a figura 4).

P0

P1

(e)

P2

Figura 4. Rtulos e Condies Externas s Transies. 1.2. Classes das Redes de Petri
Podem-se agrupar as redes de Petri em duas grandes classes: as Ordinrias e NoOrdinrias (de Alto nvel) [MAC96]. As redes ordinrias se caracterizam pelo tipo de suas marcas, ou seja, suas marcas so do tipo inteiro e no negativo, enquanto que as de alto nvel possuem marcas de tipos particulares. As redes ordinrias se subdividem em:

Rede Binria: a rede mais elementar dentre todas. Essa rede s permite no mximo um token em cada lugar, e todos os arcos possuem valor unitrio. Rede Place-Transition: o tipo de rede que permite o acmulo de marcas no mesmo lugar, assim como valores no unitrios para os arcos.

As redes de alto nvel so caracterizadas pelos tipos de suas marcas, que no so mais elementos do tipo inteiro positivo. Esse tipo de rede permite a individualizao de uma marca (pertencente a um grupo) em um mesmo lugar. Essa individualizao pode ser realizada atravs de vrios artifcios, como por exemplo, cor da marca ou objetos representando os tokens. Redes no-ordinrias no aumentam o poder de representao de um modelo. Entretanto, elas permitem uma maior clareza e um maior (ou menor) nvel de abstrao ao modelo.

 Redes Elementares
Nesta seo, so apresentadas algumas redes que, a partir delas, derivam muitas outras redes mais complexas. So discutidas as redes representativas de seqenciamento, distribuio, juno, escolha no-determinstica e atribuio.

Seqenciamento: a rede que representa a execuo de uma ao, desde que uma determinada condio seja satisfeita. Aps a execuo dessa ao, pode-se ter outra ao, desde que satisfeita outra determinada condio (figura 5).

P0

P1

to

Figura 5. Seqenciamento. Distribuio: a rede elementar utilizada na criao de processos paralelos a partir de um processo pai. Os processos filhos so criados atravs da distribuio dos tokens encontrados no processo (lugar) pai. A distribuio mostrada na figura 6.

P1

t1

P2

P3

Figura 6. Distribuio.

Juno: a rede que modela a sincronizao entre atividades concorrentes. No exemplo da figura 7, a transio t1 s dispara quando existirem fichas tanto em P1, quanto em P2, estabelecendo, assim, o sincronismo.

P1

P2

t1

P3

Figura 7. Juno. Escolha No-Determinstica: uma rede que ao se disparar uma transio, inabilita-se a outra. Entretanto, no existe possibilidade de escolha (conforme figura 8). O fator no-determinstico dessa rede gera uma situao chamada de conflito [MAC96]. O conflito pode ser classificado como estrutural ou efetivo. Ambos os conflitos esto associados ao fato de duas transies possurem o mesmo lugar como entrada. Porm, se a rede no possuir tokens, o conflito dito estrutural. Contudo, se h uma nica marca no lugar comum s transies, diz-se que o conflito efetivo. A figura 9 [MAC96] ilustra os dois tipos de conflito.

P1

t1

t2

P2

P3

Figura 8. Escolha No-Determinstica.

P0 P3 to

P1

P0 P3

P1

t1

to

t1

P2 t2 t3

P4 t2

P2 t3

P4

(a)

(b)

Figura 9. (a) Conflito Estrutural e (b) Conflito Efetivo. A escolha determinstica da transio a ser disparada no um recurso abordado nas redes elementares. Porm, essa deficincia das redes de Petri originais so resolvidas em algumas extenses propostas, abordadas em sees posteriores. 1.3. Redes de Petri em Protocolos de Comunicao
Uma das reas mais interessantes para aplicao de modelagem (especialmente redes de Petri) a rea da representao de protocolos de comunicao. Em protocolos, geralmente, as transies so bem ntidas (por exemplo, a transmisso ou recepo de uma mensagem). Muitas situaes que so mutuamente exclusivas se fazem presentes (como a escolha entre um receptor dentre vrios). A figura 10 [MAC96] mostra o comportamento de um protocolo bastante simples. Apesar de simples, o modelo apresenta situaes interessantes para discusso. O funcionamento do protocolo da figura 10 se fundamenta basicamente na deciso de qual receptor (1 ou 2) deve aceitar a mensagem. Nesse exemplo especfico, a escolha no-determinstica, isto , no se pode decidir qual o arco que o token deve seguir. Alm disso, a escolha mutuamente exclusiva, ou seja, apenas uma das transies ser habilitada (t2 ou t4). A escolha citada se processa quando o token, que vem de t0, chega ao lugar P6. Nesse ponto, o token ou parte para o Receptor1 (habilitando a transio t2), ou para o Receptor2 (habilitando a transio t4). A partir da, aps a escolha do receptor, o token segue para um buffer (P3 no Receptor 1, ou P4 no Receptor 2), para ser reconhecido pelo disparo da transio t3 (Receptor 1) ou t5 (Receptor 2).

Receptor 1
t2 P2 t3 P3 P7 P6 P0 P1

Receptor 2
t5 P5

t4

P4 t1

t0

Transmissor

Figura 10. Protocolo de Comunicao. O modelo interessante para representar um protocolo que trabalhe de maneira aleatria. Entretanto, nem sempre interessante se valer dessa situao (a eventualidade). Para os casos em que se deseja estipular o destino que o token deve seguir, ou seja, trabalhar de forma determinstica, foram propostas algumas extenses s redes de Petri originais. Essas extenses so discutidas na prxima seo. 1.4. Extenses s Redes de Petri
Nesta seo so vistas algumas extenses propostas com a finalidade de aumentar a aplicao das redes de Petri. So discutidas as redes de Petri coloridas, hierrquica e temporizadas determinsticas.

Redes de Petri Coloridas

As redes de Petri coloridas tm por objetivo reduzir o tamanho do modelo, permitindo que os tokens sejam individualizados, atravs de cores atribudas a eles; assim, diferentes processos ou recursos podem ser representados em uma mesma rede. As cores no significam apenas cores ou padres. Elas podem representar tipos de dados complexos, usando a nomenclatura de colorida apenas para referenciar a possibilidade de distino entre os tokens [JEN90]. A figura 11 apresenta uma rede colorida, possuindo a representao original, onde so realmente utilizadas cores para os tokens. Nessa figura, os arcos so rotulados com cores (a, b, c).

No exemplo da figura 11, utiliza-se o modo mais elementar de redes coloridas, no qual se associa ao arco uma determinada cor, assim, o token se destinar ao arco cuja cor for idntica a da marca. Observando-se essa figura, pode-se perceber que os tokens de P0 no habilitaro a transio t0, pois o arco que liga P0 a t0 s aceita cores do tipo a, e o lugar P0 s possui marcas do tipo d. Em contrapartida, P1 possui marcas do tipo a, podendo habilitar a transio t1.
P0

<a> <c> P3 <c> <a> <a> t1 t0 <a> P4

Cores a b c d

Marcas

P1

P3

Figura 11. Rede de Petri Colorida. Ainda que um tanto quanto rudimentar, a rede colorida original prov mecanismos que possibilitam efetuar uma escolha determinstica. Esse poder de escolha j significa um grande avano em direo a uma representao mais clara de um modelo, porm modificaes (acrscimos) posteriores vieram dar maior adequao s redes coloridas, com relao representao das escolhas no-determinsticas. A seguir, processa-se uma discusso a respeito de algumas melhorias adicionadas s redes coloridas, tornando-as mais poderosas. Para facilitar o uso da nomenclatura, faz-se referncia s redes coloridas com as melhorias adicionais, chamando-as somente por redes de Petri coloridas. As redes de Petri coloridas so compostas por trs diferentes partes [MAC96]: estrutura, declaraes, inscries.

Estrutura um grafo dirigido com dois tipos de vrtices (lugares e transies). Os lugares so representados graficamente por crculos (ou por elipses) e as transies por retngulos. Essa representao herda a propriedade das redes coloridas originais de poder armazenar em cada lugar marcas de tipos diferentes, alm de poder representar valores associados a tipos de dados mais complexos. Declaraes compreendem a especificao dos conjuntos de cores e declaraes de variveis. As inscries variam de acordo com o componente da rede. Os lugares possuem trs tipos de inscries: nomes, conjunto de cores e expresso de inicializao (marcao inicial). As transies tm dois tipos de inscries: nomes e expresses guarda, e os arcos apenas um tipo de inscrio dado pela expresso. Como formas para distinguir as inscries, nomes so escritos com letras normais, cores em itlico, expresses de inicializao sublinhadas e as expresses guarda so colocadas entre colchetes.

Nomes, quando associados a lugares, no tm significado formal, apenas facilitam a identificao. As expresses guarda associadas s transies so expresses booleanas que devem ser atendidas para que seja possvel o disparo das transies [MAC96]. Para ilustrar a aplicao de redes de Petri coloridas, ser mostrada uma situao clssica de gerao de impasse: o jantar dos filsofos [TAN95]. Essa situao consiste de trs filsofos que podem estar em trs estados diferentes: comendo, pensando ou com fome. Os filsofos esto volta de uma mesa, sendo que cada um deles tem sua frente um garfo e um prato de comida. So, no entanto, necessrios dois garfos para que um filsofo possa comer, ou seja, um filsofo precisa do seu garfo e do de seu vizinho. O impasse ocorrer quando todos os filsofos pegarem o garfo da direita e aguardarem a liberao do garfo da esquerda. A figura 12 [MAC96] apresenta o jantar dos filsofos modelado em rede de Petri colorida.

Es

1(p,0)+1(q,0)+1(j,0) (x, i) Caso x p => 1 f1+1 f2 | q => 1 f2+1 f3 | j => 1 f1+1 f3 Fork 1 f1+1 f2+1 f3 (x, i)

t0
(x, i) (x, i+1) Es E

Cor: Ph=p|q|j I=Int Fk=f |f | f Es=Ph* I Var: x:Ph i: I

t1
(x, i) Es Th

Caso x p => 1 f1+1 f2 | q => 1 f2+1 f3 | j => 1 f1+1 f3

t2

Figura 12. Jantar dos Filsofos Modelado em Redes Coloridas.

Na figura 12, os lugares representam os estados possveis para os filsofos (H para com fome, E para comendo e Th para pensando) e os recursos do sistema (no caso, os garfos representados por Fork). A varivel x indica o filsofo que ir passar para o estado comendo (E) e a varivel i indica o nmero de iteraes que j ocorreram. Na primeira iterao, o lugar H possui trs marcas (marcao inicial) que esto sublinhadas. Dependendo da atribuio dada varivel x, uma das trs expresses avaliada no arco que liga o lugar Fork transio t0. Assim, se, por exemplo, x = p, ento a expresso 1 f1 + 1 f2 avaliada e apenas a marcao 1(p, 0) do lugar H ir transio t0, significando que apenas o filsofo p ir passar para o estado comendo. Desta forma, para cada atribuio de x (p, q ou j) haver uma situao diferente, ou seja, uma marca diferente no lugar E

(estado comendo). A modelagem colorida, alm de evitar o impasse (o que tambm poderia ser obtido atravs de uma rede no-determinstica), ainda possibilita uma representao mais clara e concisa ao modelo. Apenas para efeito de comparao, apresenta-se tambm a figura 13, ilustrando o mesmo problema da figura 12, o jantar dos filosofos. S que na 13 [MAC96], a representao utilizada segue a metodologia das redes de Petri ordinrias. A comparao evidencia o poder de conciso e clareza que as redes coloridas proporcionam. Como usada apenas para efeito ilustrativo, a rede ordinria no ser explicada. Essa comparao plenamente discutida em [MAC96].

Garfo 2 tcp3 pp3 Filsofo 3 pp2 tfc2 pcf2 ttf3 pcf3 tcc3 pc3 pc1 Garfo 1 Garfo 3 tcc1 pcf1 ttf1 pp1 tcp1 Filsofo 1 pc2 tcc2

tcp2

Filsofo 2

Figura 13. Jantar dos Filsofos em Rede Ordinria. Redes Hierrquicas

Um dos problemas apresentados nas redes de Petri originais o fato que, medida que o tamanho do sistema cresce, vai se tornando cada vez mais difcil manter a clareza do

modelo. Esse fato se deve, em grande parte, falta de hierarquizao dos modelos originais. Para amenizar essa limitao, foram criados mecanismos que possibilitam o agrupamento ou o refinamento de partes do modelo. Um dos problemas dessa abordagem manter a consistncia com os elementos vizinhos queles que sofrem um agrupamento. Na abordagem hierrquica, mostrada nesta seo, lugares e transies podem ser apresentados sob uma tica de mais alto nvel. Na representao hierrquica, dois componentes so fundamentais para viabilizar uma representao em mais alto nvel: a superpgina e a subpgina [DIT95]. A primeira representa um agrupamento de componentes (transies, lugares e arcos), visando gerar um modelo mais compacto e inteligvel, como se fosse uma caixa preta. J as subpginas so o detalhamento de uma superpgina, de forma a esclarecer alguns detalhes omitidos na representao em alto nvel. A figura 14 apresenta uma representao em alto nvel para o exemplo do protocolo de comunicao visto na figura 10. O exemplo mostra a representao do transmissor e dos receptores 1 e 2 em forma de superpginas.

Receptor 1

P7 P6

Receptor 2

Transmissor

P0

P1

t0 t1

Subpgina Transmissor Figura 14. Hierarquia Utilizando Superpginas.

 Rede de Petri Temporizada Determinstica

Para suprir a necessidade de escolha determinstica (assim como nas redes coloridas), foram desenvolvidas as redes de Petri temporizadas. Essas redes possibilitam a representao do comportamento dinmico de sistemas que possuam atividades concorrentes, assncronas e no-determinsticas, atravs da adio do conceito de tempo no modelo [COO83]. O tempo tambm pode ser usado de maneira probabilstica, ou seja, o disparo de transies est associado a distribuies de probabilidade. Essas redes so denominadas redes de Petri estocsticas, pois seus comportamentos podem ser descritos por processos estocsticos. A associao do tempo a componentes da rede pode se realizar de vrias maneiras. As principais so [MAC96]:

O tempo associado aos lugares. Assim, os tokens (aps o disparo de uma transio) s estaro disponveis para disparar uma nova transio aps um determinado tempo que est associado ao lugar. O tempo associado s marcas. Nesse caso o tempo indica quando a marca estar disponvel para disparar uma transio.

O tempo associado s transies. O objetivo desta seo enfocar as redes de Petri temporizadas determinsticas com tempos associados s transies. Por uma questo prtica, quando se fizer referncia rede de Petri temporizada, estar subentendido que est-se referindo s redes de Petri temporizadas determinsticas com tempos associados s transies. Um exemplo de rede de Petri temporizada determinstica apresentado na figura 15. Nela, as transies t1 e t2 possuem tempos associados diferentes, o que significa que uma transio ser disparada antes da outra. Supondo-se que d1 < d2, ento o token chegar primeiro ao lugar P1. Assim, de maneira determinstica, pode-se estabelecer a ordem em que os eventos devem ocorrer.

P0

t 1 , d1

t2 , d2

P1

P2

Figura 15. Rede de Petri Temporizada Determinstica.

1.5. Anlise das Redes de Petri

H trs grupos de mtodos para se analisar as redes de Petri: anlise baseada na rvore de cobertura, mtodos baseados na equao fundamental das redes de Petri e as tcnicas de reduo [MUR89]. Esta seo enfoca a anlise baseada na equao fundamental das redes de Petri (EFRP).

Anlise da EFRP
A equao fundamental, ou equao de estados, possibilita a anlise da acessibilidade das marcaes, bem como o nmero de vezes que cada transio deve ser disparada para que se obtenha a referida marcao [MUR77]. A Equao Fundamental das Redes de Petri : M (p) = M0 (p) + C. s, p P Onde s o vetor caracterstico cujos componentes si so naturais e representam o nmero de vezes que cada transio ti foi disparada para obter-se a marcao M(p) a partir de M0(p), e C a matriz de incidncia, dada pela diferena entre as matrizes de ps e prcondies (C = O - I). Assim, pode-se determinar se uma marcao Mk acessvel a partir de M0. Observando-se a figura 16 [MAC96], pode-se analisar a acessibilidade da marcao M = (0,0,0,1,1,0,1) a partir da marcao inicial apresentada.

P2 t2 P3 t3 P5 t5

P6

P0

t0

P1

t1

P4

t4

Figura 16. Acessibilidade de uma Marcao.

A partir da EFRP, tem-se o seguinte sistema matricial:

M(p) 0 0 0 1 1 0 1 M0(p) 1 0 1 0 0 0 2

C
-1 1 0 0 0 0 -1 0 -1 0 0 1 0 1 0 0 -1 1 0 0 -1 0 0 0 -1 0 1 1 1 0 0 0 -1 0 0 0 0 1 0 0 -1 0

s
s0 s1 s2 s3 s4 s5

A partir da soluo do sistema matricial, podem-se determinar as relaes entre os nmeros de disparos de das transies. Por exemplo, tem-se que s0 = s4 + 1, isto , o nmero de disparos de t0 uma unidade maior que o nmero de disparos da transio t4, e s0 = s1, indicando que o nmero de disparos de t0 deve ser igual ao nmero de disparos de t1. Assim, a partir dos elementos de s, podem-se obter as seguintes relaes: s0 = s4 + 1, s1 = s0 , s2 = s5 + 1, s3 = s2 - 1, s4 = s1 - 1, s5 = s3 Se considerar-se s0 = 1 e s3 = 0, tem-se como soluo do problema s = (1,1,1,0,0,0). Significando que com os disparos das transies t0, t1 e t2, obtm-se a marcao M, a partir de M0, isto , M alcanvel a partir de M0. Vale observar que a marcao M pode ser alcanada em outras relaes de disparo de transies.

2. Redes de Petri Estocsticas As redes de Petri, ao contrrio das redes de filas, no foram desenvolvidas originalmente para prover avaliao de desempenho, apesar de toda a sua potencialidade para representar sistemas complexos, os quais naturalmente requerem cuidados a esse respeito. Esse panorama se modificou em 1982, quando M. K. Molloy (Molloy, 1982) apresentou as redes de Petri estocsticas (Stochastic Petri Nets - SPN) como uma tcnica capaz de, alm de especificar sistemas, tambm apresentar uma anlise probabilstica dos mesmos. Molloy definiu que todas as transies em uma SPN eram temporizadas (timed), e que possuam um retardo exponencialmente distribudo. Atravs dessa implicao, as SPN seriam isomrficas s cadeias de Markov, e assim poderiam prover medidas de desempenho. Posteriormente, G. Chiola (Chiola et. al. 1993) apresentou uma melhoria s SPN, denominada Redes de Petri Estocsticas Generalizadas (Generalized Stochastic Petri Nets GSPN), cuja diferena fundamental est em admitir que as transies tambm podem ser no-estocsticas, isto , uma transio tambm pode ser imediata, como nas RP convencionais. Chiola definiu que as transies imediatas deveriam ter retardo de disparo igual a zero, e que somente as transies estocsticas tinham retardos associados diferentes de zero.

3. Bibliografia
[CHI93] CHIOLA, G., MARSAN M. A., CONTE, G. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. IEEE Transactions on Software Engineering, vol. 19, n. 2, p. 89-106, 1993.

[COO83]

COOLAHAN, J.E., ROUSSOPOULOS, N., Timing Requirements for TimeDriven Systems Using Augmented Petri Nets, IEEE Transaction on Software Engineering, 1983. DITTRICH, G., Modeling of Complex Systems Using Hierarchical Petri Nets, Codesign - Computer-Aided Software / Hardware Engineering, IEEE Press, 128-144, 1995. JENSEN, K., HUBER, P., SHAPIRO, R. M., Hierarchies in Coloured Petri Nets, Lectures Notes in Computer Science, Vol.483, 313-341, SpringerVerlag, 1990. JENSEN, K. Coloured Petri Nets: Basic Concepts, Analisys Methods and Pratical Use. New York, v. 1, Springer-Verlag, 1992.

[DIT95]

[JEN90]

[JEN90]

[MAC96] [MOL82]

MACIEL, P.R.M., LINS,R.D., CUNHA, P.R.F., Introduo s Redes de Petri e Aplicaes, 10a Escola de Computao, Campinas, Julho 1996. MOLLOY, M.K. Performance Evaluation Using Stochastic Petri Nets. IEEE Trans. Comput., v. C-31, n. 9, p. 913-17, 1982.

[MUR77] [MUR89] [PET81]

MURATA, T., State Equation, Contrallability, and Maximal of Petri Nets, IEEE Trans. On Automatic Control, 1977. MURATA, T., Petri Nets: Propriets, Analysis and Aplications, Proceding of The IEEE, 1989. PETERSON, J.L., Petri Nets na Introduction, Prentice Hall, Inc., 1981.

[PET66]

PETRI, C.A. Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut fr Instrumentelle Mathematik, Bonn, 1962. English Translation: Technical Report RADC-TR-65-377, Griffiths Air Force Base, New York, v. 1, Suppl.1, 1966.