1

06/08/2001. Redes de Petri Carl Adam Petri Carl Adam Petri 1962 Comunicao com Autmatos Vantagens das redes de Petri Pode-se descrever uma ordem parcial entre vrios eventos; Estados e eventos so representados explicitamente; Uma nica famlia de ferramentas utilizada atravs das fases de anlise, avaliao de desempenho e implementao; Descrio precisa e formal das sincronizaes.

1
1.1

VOCABULRIO E CONCEITOS
Sistemas Discretos a) sistemas discretizados b) discretos c) eventos discretos Redes de Petri modelam este tipo de eventos

1.2 1.2.1

Noes Bsicas Conceitos Utilizados na modelagem Eventos: instantes de observao e de mudana no estado do sistema (uma transio, por exemplo); Atividades: o que estou fazendo em um momento, no estado em que eu estou; Processos: qualquer conjunto de atividades e eventos.

1.2.2

Paralelismo, cooperao, competio Ver no livro

1.3 1.3.1

Apresentao das RP Elementos bsicos Lugar equivalem aos estados do autmato finito; Transio mesma conotao do autmato; Ficha (token) recursos disponveis; a mquina est naquele estado, o que o torna verdadeiro.

1.4

Diferentes Interaes entre Processos 1 Seqncia: 2 Paralelismo: 3 Caminhos Alternativos:

13/08/2001. Variantes e Caminhos Alternativos: 20/08/2001. Definies: - Vises das redes de Petri: 1 um grafo com dois tipos de ns e comportamento dinmico; 2 um conjunto de matrizes de inteiros positivos ou nulos cujo comportamento dinmico descrito por um sistema linear; 3 um sistema de regras baseado numa representao do conhecimento na forma de regras de produo condio ao Conceitos: 1 Rede de Petri: Uma rede de Petri pode ser definida como uma qudrupla R = <P, T, Pre, Post> onde: P um conjunto finito de lugares de dimenso M; T um conjunto finito de transies de dimenso M; Pre: P x T |N a aplicao de entrada (lugares precedentes), com | N representando os naturais; Post: P x T |N a aplicao de sada (lugares seguintes).

Rede Marcada: Uma rede marcada N uma dupla N = <R, M> onde: R uma rede de Petri M a marcao inicial dada pela aplicao M: P |N M(P) o nmero de marcas ou fichas contidas no lugar P. A marcao M a distribuio das fichas nos lugares, sendo representada por um vetor coluna cuja dimenso o nmero de lugares e elementos. Exemplo:

0 3 0

P1 P2 P3

A notao matricial desta rede a 0 1 0 transies b c 1 0 0 3 0 0 d 0 0 1

Pre

P1 P2 lugares P3

Um arco liga um lugar P a uma transio T se e somente se Pre (P,T) 0 Post a 1 0 0 b 0 1 0 c 0 0 1 d 0 3 0 P1 P2 P3

Um arco liga uma transio T a um lugar P se e somente se Post (P,T) 0

Matriz de Incidncia C = Post Pre C a 1 -1 0 b -1 1 0 c 0 -3 1 d 0 3 -1 P1 P2 P3

Rede de Petri Pura: Uma rede de Petri R pura se e somente se P P T T Pre (P,T) * Post (P,T) = 0 Isto , nenhuma transio possui um mesmo lugar com entrada e sada ao mesmo tempo.

T 0

Transio Sensibilizada: Uma transio T est sensibilizada (ou habilitada) se e somente se P P, M(P) Pre (P,T) Isto , se o nmero de fichas em cada um dos lugares de entrada for maior ou igual ao peso do arco que liga este lugar transio. Notao Alternativa: M > Pre (. ,T) Pre a 0 1 0 a 1 0 0 b 1 0 0 b 0 1 0 c 0 3 0 c 0 0 1 d 0 0 1 d 0 3 0 todas as linhas da coluna T P1 P2 P3 P1 P2 P3

Post

27/08/01 Conflito e Paralelismo - Conflito estrutural: Duas transies T1 e T2 esto em conflito estrutural se e somente se elas tem ao menos um lugar de entrada em comum p P, Pre(p, T1) Pre(p,T2) 0 - Conflito Efetivo: Duas transies T1 e T2 esto em conflito efetivo, para uma marcao M, se e somente se ambas esto em conflito estrutural e esto sensibilizadas. M Pre( ., T1) e M Pre( .,T2) - Paralelismo Estrutural: Duas transies T1 e T2 so paralelas estruturalmente se no possuem nenhum lugar de entrada em comum. P P Pre(p, T1) Pre(p,T2) = 0 Que equivale a verificar se Pre( ., T1)T x Pre( ., T2) = 0, sendo x o produto escalar de dois vetores. - Paralelismo Efetivo: Duas transies T1 e T2 so paralelas para uma marcao M se e somente se so paralelas estruturalmente e M Pre( ., T1) e M Pre( .,T2) 03/09/2001.