REDE DE PETRI COLORIDA

ROTEIRO:

Introduo Conceitos Exemplo Concluso Integrantes do grupo Bibliografia

INTRODUO:
Quando os sistemas comeam a se tornar complexos, como o caso de um sistema de manufatura, comeam a aparecer certos problemas na modelagem, onde j no possvel tais sistemas serem modelados pelas Redes de Petri mostradas anteriormente. Esta complexidade (Cardoso 1993) significa s vezes a composio de vrios processos semelhantes. Neste caso, quando se utiliza as Redes de Petri elementar e a lugar transio tem se duas escolhas:

INTRODUO
Modelar o comportamento geral sem precisar a identidade de cada processo, mas somente seu nmero; Modelar individualmente cada um dos processos que constituem o sistema, e modelar a interao existente entre eles; o que consiste muitas vezes em desdobrar o modelo que representa o comportamento geral;

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

Estrutura; Declarao; Inscries;

CONCEITOS:

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.

CONCEITOS:

Declaraes: Compreendem a especificao dos conjuntos de cores e declaraes de variveis; Inscries: Variam de acordo com o componente da rede. Os lugares possuem trs tipos de inscries: nomes, conjunto de cores e marcao inicial.

EXEMPLO:
Problema Jantar dos filsofos: O problema dos filsofos um exemplo clssico da rea de programao Concorrente. Tem por objetivo demonstrar a alocao de recursos quando temos processos que correm pela alocao dos mesmos, ou seja, os recursos so escassos.

EXEMPLO:
Ambientao: H cinco filsofos sentados ao redor de uma mesa sobre a qual esto cinco talheres, cada filsofo tem um prato de espaguete, o espaguete est to escorregadio que um filsofo precisa de dois garfos para com-lo, entre cada par de pratos est o garfo.

EXEMPLO:
Elementos:

Cinco Filsofos; Cinco Garfos; Um jantar;

Estados:

Pensando; Faminto; Comendo

EXEMPLO:
Ambientao: A vida do filsofo consiste em alternar perodos de comer e pensar. Quando um filsofo fica com fome, ele tenta pegar os garfos sua direita e sua esquerda, um de cada vez, em qualquer ordem. Se conseguir pegar dois garfos ele comer durante um determinado tempo e ento colocar os garfos na mesa novamente e continuar a pensar.

EXEMPLO:
Ambientao: Apresentamos abaixo o modelo de rede de petri colorida(fig. 1a e 1b) em comparao ao modelo de rede petri ordinria(fig 1c):

Fig.1a

EXEMPLO:

Fig.1b

EXEMPLO:

Fig.1c

EXEMPLO:
No modelo (Fig.1a) cada conjunto de places substitudo por um nico place colorido contendo tokens coloridos. A fuso dos places resulta na fuso dos respectivos arcos. Para isto, so atribudas funes aos arcos de forma a determinar quais tokens devem ser adicionados ou retirados dos places. o caso das funes left() e right(), que selecionam os garfos corretos para cada filsofo. Fica visivelmente perceptivo que a modelagem usando rede de Petri colorida reduziu significativamente o modelo e eliminou places, transies e arcos repetitivos, unificando-os.

EXEMPLO:
Podemos tirar de observao a primeira vista que o problema dos filsofos modelado pela rede de Petri ordinria em comparao a rede de Petri colorida mais complexa e repetitiva. E se o problema necessitasse de mais filsofos o visual ficaria ainda mais poludo por causa do grande nmero de repeties dos estados e aes do filsofos. Com base nesse ponto de vista a utilizao de um modelo de Rede de Petri Colorida para modelar este problema satisfatria e mais eficiente.

CONCLUSO:
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.

INTEGRANTES:
Bruna.....................................................1041622 Cssio....................................................1041576 Denis......................................................0942243 Diego......................................................1041495

BIBLIOGRAFIA:
www.eps.ufsc.br/disserta/palomino/cp4a_pal. htm http://www.dcce.ibilce.unesp.br http://pt.scribd.com http://pt.scribd.com