Redes de Petri Coloridas

Redes de Petri Coloridas

Limitaes das RP Lugar-Transico (LT): crescimento do modelo com o aumento da complexidade do sistema;  possui apenas um tipo de ficha, isto significa que o estado de um sistema descrito por um nico tipo de dado, que pode ser inteiro ou boleano.  para modelar processos reais (grandes e complexos), utilizando as RP-LT, necessita-se construir vrias sub-redes independentes com estruturas quase idnticas;  sistemas com estas caractersticas torna a rede extremamente grande e invivel do ponto de vista de desenvolvimento do projeto, visualizao, simulao e anlise do sistema.


Redes de Petri Coloridas

Redes de Petri de alto nvel:

Para contornar estes problemas das RP-LT so desenvolvidas outras extenses capazes de descrever sistemas mais complexos de forma mais compacta:
  

Redes Coloridas; Redes Predicado-Transio; Redes a Objeto.

Redes de Petri Coloridas



Redes de Petri Coloridas (RPCs) so uma combinao de Redes de Petri e Linguagem de Programao desenvolvidas na University of Aarhus Dinamarca

RPCs so consideradas uma linguagem para modelagem de sistemas em que sincronizao, comunicao, e recursos compartilhados so importantes


capacidade de modelar sistemas complexos e prover modelos com alto nvel de abstrao e melhor capacidade de representao grfica
 

so capazes de reduzir o tamanho da rede, modelando todos os processos similares em uma nica rede, ao invs de ter uma representao de rede separada para cada processo ou componente

Redes de Petri Coloridas

So ferramentas orientadas para especificao, projeto, simulao, validao e implementao de sistemas que possam ser interpretados como a eventos discretos utilizam os conceitos de valores de fichas que so chamados de fichas e tipo de dados

Por razes histricas, para distinguir das RPs, as fichas so chamadas fichas coloridas e os tipos de dados so denominados conjunto de cores  Nas RPCs, cada ficha representa um valor e cada lugar possui um tipo associado
  

cada ficha pode ser modificada pela ocorrncia de transies

em substituio ao peso do arco, utilizado nas RPs, as RPCs possuem inscries associadas aos arcos que so expresses que especificam os dados que devem existir para cada atividade ocorrer ou que produzida se uma atividade ocorrer associadas s transies podem ter inscries denominadas guardas, que so expresses boleanas, com a funo de restringir a ocorrncia de transies a determinadas condies. Estas inscries determinam dinamicamente quantas e quais fichas devem ser removidas ou adicionadas aos lugares associados

Redes de Petri Coloridas

Define-se um conjunto de cores Cor Associa-se Cst (p), Cst (t) Cor aos lugares e transies Fichas no lugar p, assumem uma cor de Cst (p) Cst (t) definem as diferentes maneiras de disparar t cada cor corresponde a uma transio da rede ordinria equivalente

Redes de Petri Coloridas

A marcao inicial de uma RPC tambm determinada pelas inscries associadas aos lugares o conjunto de fichas representa uma marcao inicial

Conjunto de Fichas coloridas Lugar de entrada N de Fichas Tipo (Conjunto de cores) Arco Guarda Lugar Soquete/porta de sada Temporizao Transio Inscries do arco Lugar de sada

Redes de Petri Coloridas

A transio habilitada pode ou no ocorrer Quando a transio ocorre, de acordo com as inscries de arcos de entrada e sada das transies, um multiconjunto de fichas removido de cada lugar de entrada da transio e outro multiconjunto de fichas adicionado em cada lugar de sada.

Redes de Petri Coloridas

Estrutura das Redes de Petri Coloridas
O processo de desenvolvimento dos modelos de RPC engloba duas etapas  Na primeira etapa so identificados e declarados os elementos que compem a rede, que correspondem definio de tipos de dados (conjuntos de cores), estruturas, variveis e funes.  Na etapa seguinte so criadas as estruturas das redes determinando assim como os estados e eventos se relacionam, e quais estados so gerados a partir desta relao.  As RPCs so compostas essencialmente por uma estrutura e um conjunto de declaraes.

Redes de Petri Coloridas

Estrutura das Redes de Petri Coloridas Na Declarao Global so definidos os tipos de dados e variveis utilizadas no modelo  A marcao de uma RPC representada pela distribuio de fichas nos lugares.  Durante a execuo de uma RPC cada lugar pode conter um nmero varivel de fichas e cada uma dessas fichas leva um dado valor que pertence ao tipo associado ao lugar.


Redes de Petri Coloridas

Redes de Petri Hierrquicas

As Redes de Petri Hierrquicas provem tcnicas capazes de modelar sistemas decompondo em mdulos, facilitando assim a manuteno e ampliao futura da modelagem, bem como a reutilizao dos modelos. A capacidade de RPs modelar um sistema hierarquicamente resulta do fato de que a rede inteira pode ser substituda por um simples lugar ou transio para modelagem em um nvel mais abstrato, ou lugares e transies podem ser substitudos por sub-redes para prover uma modelagem mais detalhada (refinamento).

Redes de Petri Coloridas

Redes de Petri Hierrquicas

A idia bsica das Redes de Petri Hierrquicas proporcionar a modelagem de sistemas grandes e complexos atravs da combinao de um conjunto de pequenas redes. Esta tcnica permite ao projetista lidar com uma parte selecionada de um modelo sem visualizar os detalhes das demais partes, preservando a viso global dos mltiplos detalhes do sistema modelado.

Redes de Petri Coloridas

Redes de Petri Hierrquicas


As Redes de Petri Coloridas Hierrquicas (RPC-Hs) combinam dois conceitos utilizados em linguagens de programao que so fundamentais no desenvolvimento de grandes sistemas O primeiro o conceito de estruturao, utilizado em RPCs, com a introduo de tipos de dados que permitem modelar sistemas utilizando elementos de dados estruturados O segundo o conceito de abstrao, introduzido pelas RPC-Hs, que permitem a construo modular da rede de forma similar construo de um programa em uma linguagem de programao utilizando mdulos e subrotinas.

Rede de Petri Colorida (cont) Etiquetas nos arcos so funes: Pre(p,t) : Cst (t) x Cst (p) p 2 Indica, para cada cor Cst (t), quantas fichas de cor Cst (p) sero retiradas do lugar de entrada p Post(p,t) : Cst (t) x Cst (p) p 2 Indica, para cada cor Cst (t), quantas fichas de cor Cst (p) sero colocadas no lugar de sada p Funo de incidncia W(p,t) = Post(p,t) - Pre(p,t)

14

Rede de Petri Colorida - Exemplo (sistema de manufatura) Cor = {p11, p12,p21,p22, m1, m2, p11m1, p12m2, p21m1, p22m2} Cst (Pe) = {p11, p12 , p21, p22} Cst (Ma) = {m1, m2} Cst (O) = {p11m1, p12m2, p21m1, p22m2} Cst (t1) = Cst (t2) = {p11m1, p12m2, p21m1, p22m2}Pr1 Pe pea pea O id t2 id t1 maq Ma = Pre(Pe,t1) = pea =
M2 Pr2 M1

Modelo original

p11m1 p12m2 p21m1 p22m2 p1 1 1 0 0 p2 0 0 1 1

15

maq Rede Colorida

Rede de Petri Colorida - Exemplo (Filsofos)

16