CARACTERSTICAS E TIPOS DE PETRI NET

Caractersticas

As Redes de Petri Ordinrias, tambm chamadas de primitivas ou autnomas (David1994) 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. Um dos campos de aplicao mais freqentes protocolos de comunicao em sistemas de computador.Desde que concorrncia, sincronizao e compartilhamento de recursos possam ser achados na especificao de tais sistemas, as Redes de Petri so uma ferramenta muito apropriada para sua modelagem (Murata1981; Berthelot1982). Na literatura as Redes de Petri geralmente esto divididas em trs principais classes: Redes de Petri Ordinrias (verso original ou modelo bsico), abreviaes e extenses. Numa RdP Ordinria todos os arcos tm o mesmo peso o qual 1, existindo apenas um s tipo de ficha, a capacidade de lugares infinita (isto , o nmero de fichas no limitado pela capacidade dos lugares), o disparo de uma transio pode acontecer se cada lugar precedente tiver no mnimo uma ficha, e nenhum tempo envolvido. As abreviaes correspondem a representaes simplificadas que tm por finalidade facilitar a representao grfica e possuem o mesmo poder de modelagem das RdPs. Dentro desta classe esto consideradas as RdPs Generalizadas, RdP com capacidade finita, e as RdPs Coloridas. Aqui todas as propriedades de uma RdP Ordinria so mantidas com umas poucas adaptaes. As extenses por outro lado correspondem a modelos para os quais as regras de funcionamento sofrem algumas variaes com a finalidade de enriquecer a capacidade de representao do modelo inicial. Aqui podem-se considerar trs tipos de subclasses: . extenses que tm o poder de representao de mquinas turing (RdP com arcos inibidores e RdPs prioritrias); extenses que permitem a modelagem de RdPs hbridas e RdPs contnuas; . 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). Aqui nem todas as propriedades de uma RdP Ordinria so mantidas.

Tipos
Abreviaes :
a) RdP Generalizada uma RdP onde pesos (inteiros estritamente positivos) so associados aos arcos. Em geral todas as RdPs Generalizadas podem ser transformadas em RdPs Ordinrias, j que as propriedades das RdPs Ordinrias podem ser adaptadas para as RdPs Generalizadas. b) RdP Colorida Nas RdPs Coloridas, a cada ficha atribudo uma cor diferente (Jensen 1980,1986). Elas formam uma categoria de Redes cuja percepo intuitiva menos clara do que as RdPs Generalizadas. Elas so de grande valor para a modelagem de certos sistemas complexos. c) RdP com Capacidade Finita uma RdP onde a cada lugar associado uma capacidade dada de fichas. O disparo de uma transio de entrada pi, cuja capacidade Cap (pi) somente possvel se o disparo desta transio no resulta num nmero de fichas em pi que exceda esta capacidade.

Extenses:
a) RdP com Arcos Inibidores Quando duas transies esto em conflito, a priorizao um problema comum numa RdP. Para dar soluo ao mesmo, aumentando assim o poder de modelagem das RdPs (Peterson1981) foram criados os arcos inibidores. Um arco inibidor um arco dirigido que une um lugar a uma transio. b) Redes de Petri Contnuas A caracterstica principal em relao s RdPs que a marcao de uma posio um nmero real (positivo) e no mais um inteiro. Sendo o disparo de uma transio realizado como um fluxo continuo. Estas redes representam sistemas que no podem ser modelados por RdPs Ordinrias, obtendo um modelo muito apropriado tambm quando o nmero de marcaes de uma RdP Ordinria torna-se muito grande. c) Rede de Petri Hbrida

Este um novo modelo apresentado pela primeira vez por Le Bail em 1991 (David1994). Esta rede formada tanto por lugares e transies discretas quanto lugares e transies contnuas. As abreviaes e extenses mostradas at aqui so RdPs as quais s permitem uma abordagem qualitativa. As seguintes extenses que daremos a conhecer em continuao, permitem descrever, no s o que acontece no sistema modelado, mas tambm quando os eventos acontecem. Estas RdPs permitem portanto que sistemas sejam modelados quando os disparos das transies so sincronizados por eventos externos, e/ou cujas evolues so dependentes do tempo. Este tipo de extenses so tambm conhecidas na literatura como RdPs no autnomas. d) Redes de Petri Sincronizadas Numa RdP autnoma, sabe-se que uma transio pode ser disparada se ela habilitada, mas no sabemos quando ela ser disparada. Numa RdP Sincronizada, um evento associado a cada transio, e o disparo desta transio acontecer se a transio estiver habilitada e quando o evento associado ocorrer. e) Rede de Petri T-Temporizada Apresentada por Ranchandani em sua tese de Doutorado em 1973 no MIT, associa a cada transio da rede um nico parmetro temporal (sua durao de disparo). Um tempo, possivelmente de valor zero, associado com cada transio. Desde que uma transio torna-se habilitada, seu disparo absorve as fichas correspondentes desde cada uma dos seus lugares de entrada, as quais permanecem na transio durante o tempo da execuo do disparo. Quando a durao do disparo termina, ento as fichas so depositadas em cada lugar de sada da transio. f) Rede de Petri P-Temporizada Contrrio ao modelo de Ranchandani, associa a cada lugar um tempo possivelmente de valor zero. Quando uma ficha depositada no lugar, a mesma dever permanecer no mnimo um tempo neste lugar (esta ficha dita ser indisponvel por este tempo). Quando o tempo decorreu, as fichas ento tornam-se disponveis. Somente fichas disponveis so consideradas para habilitar condies. g) Rede de Petri Estocstica Em RdPs Temporizadas, uma durao fixa (geralmente constante, pudendo ser tambm varivel), associada com cada lugar ou transio da rede, o caso por exemplo dos sistemas de produo, onde o tempo de trabalho de uma mquina para realizar uma determinada operao constante. Porm existem casos, onde ela no pode ser

modelada com duraes constantes; sendo este caso por ex.: o tempo de funcionamento real entre 2 Breakdowns de uma mquina. Esta durao pode ser modelada por uma varivel random. Redes de Petri Estocsticas podem ser usadas neste caso (Hatono1991; Molloy1982, Molloy1985). Aqui um tempo random associado com o disparo de cada transio, onde o tempo geralmente distribudo segundo uma lei exponencial. h) Rede de Petri Temporal Esta RdP foi criada por Merlin (1974) a qual consiste na atribuio de um intervalo de tempo [Tmin, Tmx] de disparo para cada ti<Picture: [Image]>T. Neste caso: Tmin = Tempo mnimo de espera para ti poder disparar aps habilitar-se. Tmx = Tempo mximo em que ti pode disparar aps habilitado. Tem-se ento que se ti<Picture: [Image]>T habilitado no instante <Picture: [Image]>, ela s pode disparar entre [Tmin + <Picture: [Image]>, Tmx + <Picture: [Image]>]. Noutras palavras, uma transio deve permanecer sensibilizada durante a espera mnima Tmim antes de poder ser disparada, e no pode disparar alm da espera mxima Tmx. O disparo de uma transio tem durao nula, hiptese essencial ao funcionamento deste modelo de RdP. Neste caso da RdP Temporal, a sua anlise bastante difcil devido a grande quantidade de estados.