Sumrio

Redes de Petri (RdP)

Petri Nets

Apresentao: notao grfica inc. marcao

Concorrncia, conflito e confuso
Sincronizao e recursos crticos
Extenses de RdP
Arcos, Inibidores, Hierarquia, Cores
Classificao de RdP
Espao de estados

Armando Jorge Sousa Verso 11, 15 Dez 2005

Representao Algbrica
Propriedades
Ferramentas
Referncias

Armando Jorge Sousa

Armando Jorge Sousa

reas de Aplicao

Histria

Automao de escritrios;

PhD de Carl Adam Petri, 1962

Expanso terica e aplicaes (197x)
197x RdP temporizadas
198x RdP Alto Nvel
Coloridas, estocsticas, (muitas !), etc
Normalizao em ISO/IEC-15909

Automao de manufactura;
Avaliao de desempenho;
Protocolos de comunicao;
Circuitos integrados e sistemas electrnicos;
Sistemas de informao;

A designao Rede de Petri

utilizada para muitas variantes !!!

Sistemas distribudos;
Sistemas de produo.
3

Armando Jorge Sousa

Armando Jorge Sousa

O que so as RdP

Notao Grfica

Ferramenta de mltiplos usos:

Posio, Estado ou Lugares (etapa)

Modelizao, programao, ...

Eventos, Aces ou Transies

Generalizao das Mquinas de Estados

Mealy, Moore, (Grafcet), ...

Arcos dirigidos entre os anteriores

Formalismo grfico intuitivo

Dinmica, eventos associados a transies
Esttica, aces associadas a estados

Fcil anlise e fcil projecto

Fundamento matemtico
Simulvel, demonstrvel, adequado a projecto
5

Armando Jorge Sousa

(Tal como nas mquinas de Moore e no Grafcet)

6

Exemplo bsico

Armando Jorge Sousa

Exemplo bsico com marcao

A RdP definida como um conjunto de Lugares,

Arcos e Transies
Lugares e Transies numeradas
(Lugares com marcao)

A RdP um grafo marcado, isto ,

adiciona-se uma marcao inicial

t1

t1

p2

p1
p2

p1

Marcas,
Tokens

t2
t2
7

Armando Jorge Sousa

Marcao desta RdP:

[p1, p2]=[2,1]
Armando Jorge Sousa

Disparo de Transies
t1 susceptvel de ser
disparada (enabled)
p1

Disparo de Transies - Marcaes

Situao (marcao)
aps disparo de t1
p1

p4

p4

Marcao inicial:
[p1,p2,p3,p4,p5]=
=[1,1,1,0,0]

t1

t1

p1
p2

p2

p4
t1

p2

Consumir 1 token de cada entrada e

produzir 1 token em cada sada

Armando Jorge Sousa

p5
p3

10

Concorrncia, conflito e confuso

Conflito

p2
p5

p3

Operao atmica!

Armando Jorge Sousa

Sincronizao e recursos crticos

Confuso

...

Localidade, Concorrncia,
Paralelismo, Atomicidade
11

p1

t1

p3

p3

Todos os lugares de
entrada de t1 tm token

p4

p5

p5

Concorrncia

Marcao aps disparo

de t1:
[p1,p2,p3,p4,p5]=
=[0,0,0,1,1]

Armando Jorge Sousa

12

...

Armando Jorge Sousa

Exemplo Diagrama de Blocos

A1
B1
A2
B2
GO
BACK

M1
M2
Sistema

Objectivo:

ESQ
DIR

GO

Modelar o
comportamento
de 2 vages
de transporte de
materiais,
sincronizados
no incio e fim
do percurso

BACK

M1
M2

Soluo 1

Esq

Vago 2

Vago 1

Vago i
A
B

GO

m1
dir

m2
dir

Parado B1

14

A2
B2

A1

B1
A1
BACK

m1
esq

m2
esq
B2

Parado B2

B2
A2

A2

Armando Jorge Sousa

Soluo 3 (estilo modelizao do problema)

Vago i
parado
em B

Vago i
A
B

BACK

Sensores

Vago i
parado
em A

Sensores

Soluo 2 (estilo diferente)

B1

m1
dir

m2
dir
Parado A2

Armando Jorge Sousa

A1
B1
GO

Dir

13

15

Parado A1

m1
esq

m2
esq

Armando Jorge Sousa

16

Armando Jorge Sousa

RdP Coloridas

Extenses de RdP
Generalizada: arcos com peso (>0)
Coloridas
Capacidades (nos lugares)
Hierrquicas
Prioridades (...)

Obs:
Todas estas so convertveis
nas RdP originais, isto , no
acrescentam teoria

Soluo para 3 vages

Obs: possvel extender a marca colorida para uma marca objecto,
obtendo uma RdP Orientada ao Objecto
17

Armando Jorge Sousa

18

Extenses de RdP

Armando Jorge Sousa

Classificao de RdP

Arcos inibidores
Contnuas
Hbridas (discretas + contnuas)
Sincronizadas+Informadas (eventos externos)

Baixo Nvel

T-Temporizadas (tempos nas transies)

P-Temporizadas (tempos nos lugares)

Autnomas

No Autnomas

Condio-Evento

Interpretadas

Elementares

Sincronizadas

Lugar Transio

Temporizadas

Predicado Transio

Temporais ([Tmin , Tmax] para disparar ti)

Estocsticas
...

Alto Nvel

Colorias

Reactivas

Objecto

Referncia adicional:
http://pages.udesc.br/~r4al/ARTREDPE.HTM

19

Armando Jorge Sousa

20

Armando Jorge Sousa

Necessidade do Arco Inibidor

21

Ex 1 RdP com Arcos Inibidores

Armando Jorge Sousa

Ex 2 RdP com Arcos Inibidores

22

Armando Jorge Sousa

RdP Hierrquica

Transio de Entrada (Source)

Chegada de Peas ao sistema

Buffer de Peas entrada

2
2

Mquina
Simples
2

Mquina
Dupla
(> /pea)
Exemplo de RdP Hierrquica por Transio de Substituio (TS)
(a) RdP com hierarquia; (b) Parte a substituir; (c) RdP equivalente

Transies de Sada (Sink)

(sada de peas do sistema)
23

Armando Jorge Sousa

24

Armando Jorge Sousa

RdP Hierrquica

Exemplo Armazm

Exemplo de RdP Hierrquica por Lugar de Substituio (LS)

(a) RdP com hierarquia; (b) Parte a substituir; (c) RdP equivalente
25

Armando Jorge Sousa

26

Ex. Armazm com Capacidade

Armando Jorge Sousa

Construo do espao de estados

Vrias designaes/tcnicas possveis:
Grafo/rvore acessibilidade
Grafo de estados; grafo/rvore de ocorrncias
Dada uma marcao inicial, o grafo ser construdo tendo
por base todas as sequncias de disparo de transies
possveis (RdP informada!!!).
Cada marcao ser representada por um n do grafo,
enquanto os arcos que os interligam tm associados a(s)
transio(es) que lhes deu(deram) origem
Caso o grafo seja infinito (presena de lugares no
limitados) ser possvel construir uma rvore reduzida
(rvore de cobertura)...

27

Armando Jorge Sousa

28

Armando Jorge Sousa

Espao de estados

29

Representao Algbrica

Armando Jorge Sousa

Invariantes

30

Armando Jorge Sousa

Ex. Invariantes

Invariante de disparo (t-invariant): W . x = 0

A marcao resultante do conjunto de disparo
igual marcao inicial
Invariante de marcao (p-invariant): WT . Y = 0
condio que se verifica para todas as marcaes
alcanveis (do informao relativa a recursos
necessrios implementao)
Exemplo: marcao(p3)+marcao(p4) constante e sempre igual a 3
31

Armando Jorge Sousa

32

Armando Jorge Sousa

Propriedades

Propriedades

Que propriedades a verificar ?

Limitada: no gera marcaes infinitas

Segura: marcao mx=1
Conservativa: marcao na RdP=constante
Viva: aps qualquer sequncia de disparos, possivel
disparar qualquer transio
[dead-lock=impossvel disparar qualquer transio]
Estudo da alcanabilidade e da rvore de cobertura...
[efectivamente alcana-se/evita-se a situao X ?]
Propriedades estruturais (invariantes...)

situaes de bloqueio (deadlock);

reversibilidade;
quais os lugares seguros, limitados e no-limitados;
quais as transies vivas, quase-vivas e mortas;
...

33

Armando Jorge Sousa

Tcnicas para Verificao de Propriedades

34

Armando Jorge Sousa

Verificao de Propriedades

Anlise do espao de estados (grafo/rvore)  estudo

de qualquer propriedade (se for possvel obter)
Anlise estrutural (invariantes)  algumas propriedades
Reduo de sub-modelos (tcnica auxiliar)
A simulao do modelo pode ser utilizada como uma tcnica
de validao do comportamento do modelo (no fornece, no
entanto, de forma garantida, respostas sobre as propriedades
do modelo)

35

Armando Jorge Sousa

36

Armando Jorge Sousa

Verificao de Propriedades - Redues

Ferramentas...
Petri Nets World, Tools & Software:
http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/

61 Ferramentas listadas + outras ferramentas web

Yet Another PN editor (made in S.Ind. LEIC/FEUP
1998)
Compilador de
RdP para C
Escolhida uma:
Visual Object
Net ++
37

Armando Jorge Sousa

Exemplo da Ferramenta

38

Armando Jorge Sousa

Redes de Petri
Referncias:
Timed Petri Nets, J Wang, Kluwwer Acad
Du Grafcet aux rseaux de Petri - Ren David
Intelligent Control Systems: Introd. with Examples EBook da ebrary da biblioteca FEUP (capt. 8)
http://site.ebrary.com/lib/feup/Top?channelName=feup&cpage=1&f00=text&frm=smp.x&hitsPerPage=10&i
d=10067285&layout=document&p00=%22petri+nets%22&sch=%C2%A0%C2%A0%C2%A0%C2%A0%C
2%A0Search%C2%A0%C2%A0%C2%A0%C2%A0%C2%A0&sortBy=score&sortOrder=desc

http://www.informatik.uni-hamburg.de/TGI/PetriNets/

39

Armando Jorge Sousa

40

Armando Jorge Sousa

10