Redes de Petri

Universidade Federal do Cear

Campus de Sobral
Curso de Engenharia da Computao
Jssica de Paulo Rodrigues
jessicadpaulo@gmail.com
Redes de Alto Nvel

Os modelos propem uma estruturao da parte de dados do

sistema, diferenciando-se, por exemplo, os dados globais
daqueles locais.

Elementos principais que do origem aos modelos:

O conceito de dobramento de lugares e transies.

O conceito da ficha como portadora de informaes.

2
Redes de Petri
Redes de Alto Nvel

Sistemas de manufatura capacidade de fabricar vrios tipos

de produtos simultaneamente.
Componente de dados importante tipo de pea a ser fabricada,
estado atual da pea, etc.
Dinmica tem um papel fundamental sequncia de operaes
possveis sobre um processo de fabricao, por exemplo.

Sistemas complexos alguns problemas aparecem.

Complexidade composio de vrios processos
semelhantes.

3
Redes de Petri
Redes de Alto Nvel
Quando se utiliza a rede de Petri ordinria (com a marcao dos
lugares dada por fichas indiferenciadas, e com os lugares
comportando-se como contadores), tem-se duas escolhas:
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.

No primeiro caso descrio compacta, mas no detalhada o

suficiente.
No segundo caso o modelo obtido pode ser pouco prtico de se
trabalhar, seja pelo tamanho da rede, seja pelo numero de interaes
existentes.
necessrio, portanto, estruturar parte dos dados do sistema fora
da estrutura da rede.
4
Redes de Petri
Redes de Alto Nvel

Caractersticas gerais
Exemplo 1

O sistema possui trs maquinas M1, M2, M3. As peas que

entram na oficina a um dado momento podem pertencer a
diferentes processos de fabricao, cada processo sendo
caracterizado por uma sequncia de operaes. Se a mquina a
qual a pea foi destinada esta livre, a operao se inicia. Aps
seu trmino, a mquina liberada e a pea est pronta para a
prxima operao.

5
Redes de Petri
Redes de Alto Nvel Caractersticas gerais

Exemplo 1

Rede de Petri ordinria para um processo.

6
Redes de Petri
Redes de Alto Nvel Caractersticas gerais

Exemplo 1
Rede de Petri ordinria para o caso mais complexo de trs peas,
pertencentes a dois processos de fabricao diferentes, Pr1 e Pr2.

7
Redes de Petri
Redes de Alto Nvel Caractersticas gerais

Exemplo 1
Sistemas em que os processos tm um comportamento semelhante.
Para simplificar a modelagem, pode-se representar somente o
comportamento geral do sistema, o nmero de processos sendo dado pelo
numero de fichas no lugar mquinas livres.

8
Redes de Petri
Redes de Alto Nvel Caractersticas gerais

Exemplo 1
Sistemas em que os processos tm um comportamento semelhante.
Para simplificar a modelagem, pode-se representar somente o
comportamento geral do sistema, o numero de processos sendo dado pelo
numero de fichas no lugar mquinas livres.

Dobrar a rede Passagem de um modelo

detalhado, que mostra todos os processos, a
um modelo que representa apenas o
comportamento geral.

O conjunto de processos com uma mesma estrutura (ou estruturas

prximas umas das outras) dobrado num nico componente
conservativo
9
Redes de Petri
Redes de Alto Nvel

Caractersticas gerais

Exemplo 2

Um sistema com vrios processos de igual comportamento o dos

leitores e escritores.

Lugares Li Processo de leitura inativo.

Quando h um pedido de leitura o processo est em espera.
Se o recurso estiver livre, um dos processos poder ler, passando
para o estado ativo.
Uma vez a leitura acabada o sistema retorna a marcao original

10
Redes de Petri
Redes de Alto Nvel Caractersticas gerais

Exemplo 2
O sistema pode ler ate trs processos ao mesmo tempo, mas possui
excluso mtua entre os processos de leitura e escrita.

11
Redes de Petri
Redes de Alto Nvel Caractersticas gerais

Exemplo 2

Li so dobrados sobre o lugar L.

Lei so dobrados sobre o lugar Le.
Lai so dobrados sobre o lugar La.
tpi so dobradas sobre tpl.
tii so dobradas sobre til.
tfi so dobradas sobre tfl .

12
Redes de Petri
Redes de Alto Nvel

Caractersticas gerais
Um modelo mais compacto e abstrato obtido, mas perdem-se informaes.

O simples dobramento de uma rede pode no ser suficiente e, inclusive, representar o

sistema de modo errneo.

Alem de tornar o modelo mais compacto, necessrio, sobretudo, poder diferenciar

cada ficha, fazendo com que ela possa transmitir uma informao.

Nas rede ordinrias existe apenas um tipo de marca, o que no permite a diferenciao
de recursos em um lugar , sendo necessrios lugares distintos para expressarmos
recursos similares.

A ideia subjacente das redes de Petri com individualizao das fichas , precisamente, a
de poder realizar este dobramento sem perda de informao e sem perder a
visualizao grfica da estrutura dos processos.

A estas duas caractersticas, junta-se mais uma: a utilizao de variveis ou funes no

disparo das transies. Agora que cada ficha um indivduo, necessrio escolher quais
delas vo sensibilizar a transio e fazer evoluir o sistema.

13
Redes de Petri
Redes de Alto Nvel

Redes de Petri Coloridas

O principal objetivo das redes de Petri coloridas a reduo

do tamanho do modelo, permitindo que as marcas
individualizadas(cores) representem diferentes processos.

Inicialmente as redes de Petri eram representadas por cores

ou mesmo por padres que possibilitassem a distino das
marcas.

Recentemente, as marcas so representadas por estruturas de

dados mais complexas, no relacionando cores as marcas, a
no ser pelo fato de que as marcas so distinguveis.

14
Redes de Petri
Redes de Alto Nvel

Redes de Petri Coloridas

15
Redes de Petri
Redes de Alto Nvel

Redes de Petri Coloridas

16
Redes de Petri
Redes de Alto Nvel

Redes de Petri Coloridas

Definio formal (simplificada)
Uma rede de Petri colorida associada a uma marcao inicial e uma
sxtupla dada por:

P um conjunto finito de lugares;

T um conjunto finito de transies;
Cor um conjunto finito de cores;
Csc a funo sub-conjunto de cores que a cada lugar e a cada transio
associa um sub-conjunto de Cor (as cores possveis para este lugar ou esta
transio):
W e a funo de incidncia (equivalente a C = Post - Pre); cada elemento
W(p, t) de W tambm uma funo

M0 marcao inicial que associa, para cada lugar e para cada cor possvel
neste lugar, um numero de fichas

17
Redes de Petri
Redes de Alto Nvel Redes de Petri Coloridas

Associao de cores as fichas

Com o objetivo de diferenciar as fichas, so associadas cores

(nmeros inteiros ou conjunto de etiquetas) a estas.

Como consequncia, a cada lugar se associa o conjunto de

cores das fichas que podem pertencer a este lugar.

A cada transio se associa um conjunto de cores que

corresponde as diferentes maneiras de disparar uma transio.

18
Redes de Petri
Redes de Alto Nvel Redes de Petri Coloridas

Associao de cores as fichas

No caso dos leitores e escritores, os processos correspondem

as identidades dos leitores. Portanto, aos lugares L, Le e La e as
transies tp, ti e tf se associa o conjunto de cores {L1, L2,; L3}.

O conjunto de cores de uma transio indica as diferentes

maneiras de como ela pode disparar.
Cada cor de transio corresponde, neste caso, a uma das
transies da rede ordinria equivalente.
Dito de outra forma, cada transio da rede ordinria que
dobrada numa transio da rede colorida equivalente, vai
corresponder a uma cor do conjunto de cores desta ltima.

19
Redes de Petri
Redes de Alto Nvel Redes de Petri Coloridas

Associao de cores as fichas

Exemplo 3

O conjunto de cores do lugar PC o conjunto {pc1, pc2, pc3}

O conjunto de cores do lugar MAQ o conjunto {maq1, maq2, maq3}.
As cores do lugar US o conjunto {pc1.maq1; pc2.maq1; pc3.maq1;
pc1.maq2; ... ;pc3.maq3} denotadas de forma simplificada por u11, u21, u31,
u12, ... , u33.
As cores das transies ini e fim as mesmas de US.

20
Redes de Petri
Redes de Alto Nvel Redes de Petri Coloridas

Associao de cores as fichas

Exemplo 3

21
Redes de Petri
Redes de Alto Nvel Redes de Petri Coloridas

Associao de funes aos arcos

Numa rede colorida, as etiquetas dos arcos no so mais nmeros inteiros
como no caso da rede ordinria, mas funes que representam matrizes de
inteiros.
Para cada cor de uma transio (maneira de dispar-la) necessrio descrever
quais cores de fichas sero retiradas dos lugares de entrada (pr-condio) e
quais cores de fichas sero colocadas nos lugares de sada (ps-condio).

A partir das matrizes Pre e Post, define-se a matriz

As matrizes Pre, Post e W so matrizes de matrizes, pois seus elementos (as

etiquetas dos arcos), descritos por funes, so de fato matrizes cujas linhas
so as maneiras de disparar as transies, e as colunas, as cores possveis nos
lugares.
22
Redes de Petri
Redes de Alto Nvel Redes de Petri Coloridas

Associao de funes aos arcos

Exemplo 3
Possui trs funes: pea, mquina e id. Esta ltima no modifica as cores
das fichas

23
Redes de Petri
Redes de Petri e a representao do tempo

A rede de Petri permite:

Descrever causalidade (um evento consequncia de um

outro);

Deciso e independncia entre eventos: o evento a causa do

evento b, evento a precede evento b.

a e b so ordenados no tempo maneira de descrever uma

ordem parcial num conjunto de eventos introduzir o tempo
de modo quantitativo.
24
Redes de Petri
Redes de Petri e a representao do tempo

Tempo explcito
Parmetro contnuo e quantificvel, seja para avaliao do
desempenho, seja para a verificao formal.

Estando associado diretamente a rede de Petri, de um certo

ponto de vista, o tempo faz parte do controle ao invs de
ficar na parte de dados de forma no estruturada.

Existem duas grandes classes de modelo: rede de Petri

temporal e rede de Petri temporizada.

25
Redes de Petri
Redes de Petri e a representao do tempo
Modelo temporal:
Associado a cada transio um par de datas (min, max).
min indica a durao mnima de sensibilizao da transio antes
do disparo.
max permite calcular a durao mxima de sensibilizao.
A transio deve disparar neste intervalo de tempo.

Modelo temporizado:
associada uma durao de tiro as transies.
A rede de Petri com transio temporizada.
Outros modelos da mesma famlia so as redes com lugares
temporizados e as redes com arcos temporizados.

26
Redes de Petri
Redes de Petri e a representao do tempo Rede de Petri temporizada

Tempo associado ao lugar

Se um lugar representa uma atividade A, trata-se simplesmente

de colocar como a durao desta atividade.

Quando a ficha chega na data no lugar p, ela s pode deix-

lo aps '= + instantes.

O lugar p pode desdobrar-se numa sequncia lugar-transio-

lugar.

27
Redes de Petri
Redes de Petri e a representao do tempo Rede de Petri temporizada

Tempo associado ao lugar

Lugar p1 substituvel desdobramento lugar-transiao-lugar.

Lugar p1 atividade sendo executada;
Transio t evento tempo transcorrido;
Lugar p2 eventual espera(sincronizao com outras atividades)
aps o final da atividade A.

28
Redes de Petri
Redes de Petri e a representao do tempo Rede de Petri temporizada

Tempo associado ao lugar

A ficha pode estar em dois estados: disponvel ou indisponvel.

Somente as fichas disponveis podem sensibilizar a transio.

Sendo Md(p) o conjunto de fichas disponveis no lugar p, uma

transio t est sensibilizada se e somente se
Md(p) Pre(p, t).

29
Redes de Petri
Redes de Petri e a representao do tempo Rede de Petri temporizada

Tempo associado a transio

A rede de Petri temporizada obtida associando-se a cada transio

da rede ordinria uma durao de tiro.

Semntica uma noo de atraso

As fichas utilizadas para disparar a transio no so disponveis ou visveis
em nenhum lugar.
A partir do momento que a ficha se torna visvel num lugar, ela pode ser
utilizada imediatamente por qualquer transio de sada deste lugar.

O disparo no instantneo, mas possui uma durao.

Rede equivalente substitui-se a transio por uma sequncia

transio-lugar-transio

30
Redes de Petri
Redes de Petri e a representao do tempo Rede de Petri temporizada

Tempo associado a transio

Primeira transio evento instantneo de incio de atividade (so

retiradas as fichas referentes ao peso do arco).
O lugar memorizar a atividade sendo executada,
Ultima transio corresponde ao evento instantneo de fim de atividade
(fichas colocadas nos lugares de sada).
O tiro da primeira transio apos p1 corresponde a reserva das fichas.
Aps o tiro da segunda transio as fichas so liberadas.
31
Redes de Petri
Redes de Petri e a representao do tempo Rede de Petri temporizada

Tempo associado a transio

As fichas possuem dois estados possveis:

reservado (Mr)
no reservado (Mnr).

Somente as no reservadas podem sensibilizar a transio.

A marcao a cada momento e dada por M = Mr +Mnr.

A rede de Petri temporizada pode associar o tempo ao lugar

ou transio.
As fichas desaparecem ou ficam indisponveis ou
reservadas durante um certo tempo, e reaparecem aps na
marcao.
32
Redes de Petri
Redes de Petri e a representao do tempo

Rede de Petri temporizada

Definio:

Uma rede de Petri temporizada um par Nt =< N, f > onde:

N uma rede de Petri < P, T, Pre, Post > com uma marcao
inicial M0;

f : T + a funo durao de disparo, que associa a cada

transio um numero racional positivo que descreve a durao
do disparo.

33
Redes de Petri
Redes de Petri e a representao do tempo Rede de Petri temporizada

Exemplo

Rede temporizada tempo associado as transies

Lugar p1 marcado no tempo = 0.
A cada transio ti associada uma durao de disparo i.
34
Redes de Petri
Redes de Petri e a representao do tempo

Rede de Petri temporal

Rede de Petri temporal associa se a cada transio uma

durao de sensibilizao.

O tiro instantneo, mas a transio deve estar sensibilizada

durante o intervalo de tempo dado.

Um intervalo (min, max) associado a cada transio.

Diferente do modelo rede de Petri temporizada, durante a

sensibilizao de uma transio, as fichas continuam a ser
vistas por outras transies de sada do lugar.
35
Redes de Petri
Redes de Petri e a representao do tempo

Rede de Petri temporal

Definio:

Uma rede de Petri temporal um par Ntl =< N, I > onde:

N uma rede de Petri < P, T, Pre, Post > com uma marcao
inicial M0;

(t) = [min(t), max(t)] uma funo que, a cada transio t,

associa um intervalo fechado racional que descreve uma
durao de sensibilizao.

36
Redes de Petri
Redes de Petri e a representao do tempo Rede de Petri temporal

Exemplo

Rede temporal
Lugar p1 marcado no tempo = 0.
A cada transio ti associada uma durao de sensibilizao,
dada pelo intervalo i = (min(ti), max(ti)).

37
Redes de Petri
Redes de Petri e a representao do tempo

Comparao entre os dois modelos

Para passar de uma rede de Petri temporizada a uma rede de

Petri temporal, basta substituir a transio t da primeira por
uma sequncia t1t2 com:

min(t1) = max(t1) = 0

min(t2) = max(t2) = (t).

38
Redes de Petri