RedesdePetri

Classificao
NveisdeAbstrao
Fundamental

ModeloRepresentativo
Sistemaselementares Redescondioevento RedesLugar/Transio RedesColoridas

Intermedirio AltoNvel

RedesdePetri
Famliadetcnicasdedescrioformal IntroduzidasporCarlA.Petri,naUniversidadede Darmstadt,1962Alemanha
KommunikationmitAutomaten

RedesdePetri
reasdeAplicao
Concorrncia Arquiteturade Computadores ProtocolodeRedes SistemasOperacionais SistemasdeProduo SistemasDigitais Hardware/SoftwareCo design EngenhariadeSoftware SistemasdeTempoReal ModelagemeAvaliao deDesempenho DiagnsticodeFalhas ControledeTrfego Workflow Administrao Qumica etc.

Representaogrfica
Elementosgrficos EstruturadaRede

Lugar Transio Arco

p1

t1

p2

Representaogrfica
Mltiplosarcos Pesosindicandoa multiplicidade
p2 p1 2 t1 3 p3 p3 t1 p2

p1

ExemploI
Embalar2buchase2parafusosemumaembalagemdeplstico
2embalagens; Transico Nenhumatransicopode monta ocorrerapartirdeagora Transico 6parafusos; despacha habilitada ocorre embalagem embaladeira livre 6buchas; habilitada ocorre Embaladeiraest livre;
parafusos 2 2 monta embaladeira ocupada despacha depsito de sada

buchas

ExemploII
Reaoqumicaparaproduzirumamolculadegua
H2 2 2 Reao qumica O2 Reaco quimica habilitada H2O

Abstraco!!!

RedeLugar/Transio
N=(P,T,F,W,M0)
P={p0,p1, ,pn},conjuntofinitodelugares T={t0,t1, ,tm},conjuntofinitodetransies F:A (P T) (T P),conjuntofinitodearcos W:F N,funcopesodoarco(multiplicidade) M0:P N,marcaoinicial P T= eP T

t={p P|(p,t) F),conjuntodelugaresdeentrada t ={p P|(t,p) F),conjuntodelugaresdesada p={t T|(t,p) F),conjuntodetransiesdeentrada p ={t T|(p,t) F),conjuntodetransiesdesada

RedeLugar/Transio
N=(P,T,F,W,M0)
P={p0,p1,,pn}:lugares T={t0,t1,,tn}:transies F:A (P T) (T P):arcos W:F N:funcopeso M0:P N:marcaoinicial
p0 p3

F={(p0,t0), W(p0,t0)=1 W(t0,p4 )=1 (p1,t0), M0(p3 )=1 M0(p0 )=2 W(p1,t0)=2 (p2,t0), W(t1,p3 )=1 M0(p4 )=0 M0(p1 )=2 (p3,t0), P={p0,p1,p2,p3,p4,p5} T={t0,t1} W(p2,t0)=2 W(t1,p5 )=1 (p4,t1), M0(p2 )=3 M0(p5 )=0 (t0,p4), W(p3,t0)=1 (t1,p3), ousimplesmenteM0 (P)= [2,2,3,1,0,0] W(p4,t1)=1 (t1,p5)}

p1

2 t0 p4 t1 p5

2 p2

10

RedesLugar/Transio
N=(P,T,I,O,M0)
P={p0,,pn},conjuntofinitoenovaziodelugares T={t0,,tm},conjuntofinitoenovaziotransies I:T P ,conjuntodeentrada O:T P,conjuntodesada M0:P N,marcaoinicial P T= eP T

11

MatrizesIe0
P={p0,p1,p2,p3,p4,p5,p6} T={t0,t1,t2,t3,t4,t5} M0 =[1,0,0,1,0,0,1]
100000 010000 001000 I=000100 000010 000001 100100 001000 100000 011000 O=000001 000100 000010 010001
t2 p0 p3

t0 p1 p6

t3 p4 t4

t1

t4

p2

p5

12

Regradedisparo(ocorrncia)
(M(p0)=1) (w(p0,t0)=1) p0 p3

1. Atransiotj esthabilitadasse
pi P,M(pi) w(pi,tj)
t0 p1 t2 p6 t3 p4 t4

2. Umatransiohabilitadapode ounoocorrer 3. Seatransiotj ocorrer,ento:

pi I(tj) ps 0(tj)
M(pi)=M(pi) w(pi,tj)+w(tj,pi) M(ps)=M(ps)+w(tj,ps) w(ps,tj)

t1

t4

M(p1)=M(p1)+w(t0,p1) w(p1,t0) 1=0+1 0

p2

p5

M(p0)=M(p0) w(p0,t0)+w(t0,p0) 13 0=1 1+0

RedesdePetri
Transiosorvedouro Transiofonte

p0

p0

t0

t0

t0

t0

p0

p0

Antesda ocorrncia

Depoisda ocorrncia

Antesda ocorrncia

Depoisda ocorrncia

14

RededePetripura
UmaRededePetri R=(P,T,I,O,)purasee somentese:
I(pj,ti) O(pj,ti)=, tiT,pjP
p0

Autolao
t0 p2

p1

Nohautolaos
p0 p2 t1 P2

Casohaja:adicionaseumpar (transioelugar)semfuno (dummy)paraeliminalo

parsem funo

t0

p1

15

Modelosbsicos
Seqenciamento Juno

Distribuio

Escolha

16

Conflitoestrutural
N=(P,T,I,O),t1,t2 Testoemconflito estruturalsse p PtalqueI(p,t1) I(p,t2) 0

t1

t2

17

Conflitoefetivo
N=(P,T,I,O,M0),set1,t2 Testoemconflitoefetivopara MseestoemconflitoestrutualeM[t1>,M[t2>eM(p)< I(p,t1)+I(p,t2)

t1

t2

18

Confuso
Simtrica
p0 p1

Assimtrica
p2

t2 p0 p1

t0

t1

t2

t0

t1

t0et2soconcorrentese estoemconflitocomt1.A ocorrnciadet1impossibilita oocorrnciadet0et2

t0et2soconcorrentes,mas set2ocorreprimeiro,t0et1 estaroemconflitoefetivo

19

Controledefluxo
Computaosimples

Seqenciamento

20

Chamadadefuno
funo

21

Processosparalelos
p0 t0 p1 t1 p3 t3 p5 p2 t2 p4
M2 M0 M0

t0 s0={t0}
M1

t1

t2
M3

M1

s1={t1,t2}
M4

t2
M4

t1 t3
M5

s2={t3}
M5

Grafodealcanabilidade

Grafodepassos
22

Exclusomtua
p0 p3

t0 p1 t2 p6

t3 p4 t5

t1

t4

p2

p5

23

Computaoporfluxodedados
b a a t0 t2 a0 t1

ab t4 (ab)/a t5 2(ab)/a

t3

a=0

24

Comunicao
Sncrona Assncrona

p0

p1

p0 p4

p2

t0

t0

t2

p2

P`1

p3

25

Comunicaosncronacom reconhecimento
p0 p6 t0 t2 p3

p1 p7 t1 t3

p4

p2

p5
26

Produtor/Consumidor(bufferilimitado)
Produtor
p0

Consumidor
p2

produziu um item

prontopara consumir

buffer
t0 p1 p4 t2 p3

pronto para produzir

t1 t3

consumiu umitem

27

Produtor/Consumidor(bufferlimitado)
desabilitada (noproduz) produziu um item
t0 p1

Produtor
p0

Consumidor contador (c=3)

p5 t2 p3 p2

prontopara consumir

pronto para produzir

t1

buffer
p4 t3

consumiu umitem

28

Jantardosfilsofos
pensando garfo3 pensando

Aristteles

comendo

Demcrito
comendo comendo garfo2 garfo1

pensando

Decartes

Abordagemdemodelagem
Topdown
Refinamento

Bottonup
Composio

Hbrida
RefinamentoeComposio

30

Refinamento
p0 t421 t0 p2 p1 t422 t1 p3 p4 t3 p5
31

t4 p6 p421

p422

t423

t2

t5 t41

p41 p423 t42 p42 t424 p424

Composio
p0 t0 p1 t1 p3 p4 t3 p5 t3 p5
32

p0 t0 p2

Fuso p2

t4 p6

t5 Sincronizao t2

Propriedades
Anlise:baseadaemalgortmosquenoobjetivama verificaodeumadeterminadapropriedade.Ao contrrio,soalgortmosmaisgenricosque forneceminformaessobrediversaspropriedades eseusresultadospodemserutlizadoscomobase paraalgortmosdeverificao.
Mesmoquearespostasejasimouno,nohprioridade deumsimsobreono Tambmsousadaspararesponderquestesdotipo: Quaissoosconjuntosdelugarescujosomatriode marcaspermanececonstante?
33

Propriedades
Comportamentais Estruturais

34

Propriedadescomportamentais
Alcanabilidade(Reachability)
Indicaapossibilidadedeseatingirumadeterminada marcaopeloocorrnciadeumnmerofinitode transies,apartirdeumamarcaoinicial

Marcaoalcanvel
SejaMi[tj>Mk eMk[th>Ml entoMi[tjth>Ml.Por recorrnciadesignamosaocorrnciadeuma seqncia T*porM[>M.DizemosqueM alcanvelapartirdeM.Oconjuntodetodasas possveismarcaesalcanveisdeapartirdeM0 na Rede(N,M0)denotadopor

R(N,M0)={M m|M0[ >M},m=#P

35

Alcanabilidade
M=[0,0,0,1]acessvelapartirdeM0?
p0 t0 t4

M0=[1,0,0,0]
t0

p1

t2

p3

M1=[0,1,0,0]
t1

t1 p2

t3

M2=[0,0,1,0]
t3

Sim,pelaocorrnciade=t0t1t3

M3=[0,0,0,1]
36

Alcanabilidade
M=[0,0,0,1]acessvelapartirdeM0?
p0 t0 t4

M0=[1,0,0,0]
t2

p1

t2

p3

M2=[0,0,1,0]
t3

t1 p2

t3

M3=[0,0,0,1]

Sim,pelaocorrnciade=t0t1t3 oude=t2t3
37

Impasse
Defineaimpossibilidadedaocorrnciade qualquertransiodarede
p0 p3 t0 p6 p1 t1 p2 t2 p7 p4 t4 p5 t5
38

t3

Impasse

Grafodealcanabilidade
SejaumaRededePetrimarcada(N,M0) R(N,M0)=(V,A)defineografodealcanabilidade (ReachabilityGraph)
Voconjuntodevrticesdefinidopeloconjuntode marcaesalcanveis A VTVumarelaodefinindoassociaes entremarcaesalcaveis

39

Grafodealcanabilidade
p0 p3 M0

t0

t3

t2
M1 p4
t5

t0 t1

t3
M5

t5

p1
t2

p6

M2

t5
M3

t2
M7

t4 t0
M6

t3

t1

t4

p2

p5

M0=[1001001] M1=[0101000] M2=[0011001] M3=[0010100] M4=[0010011] M5=[1000100] M6=[1000011] M7=[0100010]

t4 t1 t5
M4

t2

R(N,M0)={M0,M1,M2,M3, M4,M5,M6,M7}
40

Vivacidade
Transiopotencialmentedisparvel
Umatransiotj potencialmentedisparvelem umadadamarcaoM0 se: M R(N,M0)|M[tj>

Redeviva
UmaRede(N,M0)ditaviva se: T*|ti ,M[ >,M R(M0), ti T

41

Vivacidade
Vivacidade maisfortedoqueausnciade impasses
p0 M0 t0 t0 p1 t2 t1 t3 p3 p4 M3
42

M1 p2 t4 t1 M2 t3 t4

Semimpasses Noviva

Vivacidade
Vivacidademuitorestritivaecomputacionalmentecara paraprovar Umatransiotpodeserclassificadaemnveisde vivacidade
N0viva(morta):se L(R,M0)|t ,ouseja, M R(M0)| M[t> N1viva (potencialmentedisparvel):setpodeocorrerpelomenos umavezemalgumaseqnciadedisparo L(R,M0) N2viva:sedadoqualquerinteiropositivok,tpodeocorrerpelo menoskvezesemalgumaseqncia L(R,M0) N3viva:setapareceumnmeroinfinitodevezesemalguma seqncia L(R,M0) N4viva ousimplesmenteviva:setN1viva M R(N,M0)
43

Cobertura
Coberturadeumamarcao:sejaamarcaoM emumaRede(N,M0).Mditacobertase:
M R(N,M0)|M(pi)M(pi)pi P

44

Recorrnciaereversibilidade
Reversibilidade:inicialmente umaRededita reversvelseparacadamarcaoMi noconjunto dasmarcaesacessveisamarcaoinicialpode sernovamentealcanada Estadorecorrente:sejaumamarcaoMk R(N,M0).Mk denominadoumestadorecorrente seMi [>Mk,Mi R(N,M0) Reversibilidade:umaRede(N,M0)reversvelse Mk ,talqueMi [>Mk,Mi R(N,M0)
45

Reversibilidade
p0

Reversvel
t2 p2

t0

t3 p1 t1 p3

46

Reversibilidade
p0

Reversvel

t0

t3

p2 p1

p3

t2

t1

t4

47

Reversibilidade
Irreversvel
p0 p2

t0

p4

t2

p1

p3

t1

t3

48

Persistncia
UmaRededitapersistenteseparaqualquer pardetransiest1 et2 aocorrnciadeumano desabilitaaoutra
SejaumaRede(N,M0).Nditapersistentesepara todopar(t1,t2) T2 | Mk [t1>eMk [t2> Mk [ti>M, M[t2>eviceversa.OndeMk,M R(N,M0)

49

Persistncia
Todografomarcadopersistente.NemtodaRede persistenteumagrafomarcado
p0 p0

Persistentes
t0 p1 t1 p3 t3 p2 t2 p4 p1 t1 p3 t3 t2 p4 t0 p2

Grafomarcado

Nografomarcado
50

Conservao
Estrelacionadaaosomatriodemarcasa medidaqueastransiesocorrem RedeConservativa:sejaumaRede(N,M0)talque M R(N,M0)umamarcaoalcanvele W=(w1,...,wn),onden=#P.Nditaconservativa se:
pi P Wi M(pi)=pi P Wi M0(pi),M R(N,M0)

51

Conservao
piP W4m(pi)=17,pi P W1 =[3,0,1,0,0] W2 =[0,2,0,1,0] W3 =[0,0,4,3,6] W4 =[3,2,5,4,6]

p0

p1

t1 3

2 p4 p2 p3

t3 2

3 t2 2

2 t4

(3 1)+(2 1)+(5 0)+(4 0)+(6 2)=17 (3 0)+(2 1)+(5 3)+(4 0)+(6 0)=17 1)+(2 0)+(5 0)+(4 2)+(6 1)=17
52

Propriedadesestruturais
SopropriedadesinerentesaestruturadaRede Nodependemdamarcaodomodelo
LimitaoEstrutural ConservaoEstrutural Repetitividade Consistncia

53

Limitaoestrutural
SejaumaRedeR=(P,T,I,O)eM0 umamarcao inicial.Rdefinidacomoestruturalmente limitadaseRlimitadaparaqualquerM0 Teorema
UmaRedeR=(P,T,I,O)estruturalmentelimitada sse WtalqueW.C 0,onde|W|=#Pei >0

54

Limitaoestrutural
SejaumaRedeR=(P,T,I,O)eM0 umamarcao inicial.Rdefinidacomoestruturalmente limitadaseRlimitadaparaqualquerM0

55

Conservaoestrutural
SejaumaRedeR=(P,T,I,O).Rdefinidacomo estruturalmenteconservativaseRconservativa paraqualquerM0 Teorema
UmaRedeR=(P,T,I,O)estruturalmente conservativasse WtalqueW.C=0,onde|W|=Pe i >0

56

Conservaoestrutural
SP1={p0,p1} SP2={p3,p4}
p0 t0 t1 p2 t2 p3 t3

p1

p4

Redenoestruturalmente conservativa
57

Conservaoestruturalparcial
SejaumaRedeR=(P,T,I,O)eM0 umamarcao inicial.Rdefinidacomoestruturalmente parcialmenteconservativaseRtemalgum componenteconservativoparaqualquerM0 Teorema
UmaRedeR=(P,T,I,O)estruturalmente parcialmenteconservativasse W0talqueW.C=0, onde|W|=Pei 0.

58

Conservaoestruturalparcial
SP1={p0,p1} SP2={p3,p4}
p0 t0 t1 p2 t2 p3 t3

p1

p4

Redeparcialmente estruturalmenteconservativa
59

Repetitividade
SejaumaRedeR=(P,T,I,O).Rdefinidacomo repetitivase M0 talqueM0[s>M,ondeM M0 eS>0,comsi >0 Teorema
UmaRedeR=(P,T,I,O)repetitivasse Stalque C.S 0,onde|S|=Tesi>0

60

Repetitividade
p0

repetitiva

p0

t0

t0

p1

p2

p1

p2

t1

t2

t3

t1

t2

p3 t4

p4

p3

t3

norepetitiva
61

Repetitividade parcial
SejaumaRedeR=(P,T,I,O).Rdefinidacomo parcialmenterepetitivase M0 talqueM0[s>M, emqueM M0 eS 0,comsi 0 Teorema
UmaRedeR=(P,T,I,O)repetitivasse S0talque C.S 0,onde|S|=Tesi 0

62

Repetitividade parcial
p0 t0

p1

p2

t1

t2

p3

t3

parcialmenterepetitiva
63

Consistncia
SejaumaRedeR=(P,T,I,O).Rdefinidacomo consistentese M0 talqueM0[s>M,onde M=M0 eS>0,comsi >0 Teorema
UmaRedeR=(P,T,I,O)consistentesse Stalque C.S=0,onde|S|=Tesi>0

64

Consistncia
p0

t0

t1

t3

p1

p2

t2

consistente
65

Consistnciaparcial
SejaumaRedeR=(P,T,I,O).Rdefinidacomo parcialmenteconsistentese M0 talque M0[s>M,ondeM=M0 eS 0,ondesi 0 Teorema
UmaRedeR=(P,T,I,O)parcialmenteconsistente sse S 0 talqueC.S=0,onde|S|=Tesi 0

66

Consistnciaparcial
p0 t0

p1

p2

t1

t2

p3

t3

parcialmenteconsistente
67

Redues
Anliseportransformaes
AnlisedeRedesgrandesdimensesnoum problematrivial Reduessoutilizadasparaanlise

68

Fusodelugaresemsrie
SejaN=(P,T,I,O,M0) umaRedeetiTuma transio,O(pj)=I(pk)=[ti]. Npodesertransformada emN=(P,T,I,O,M0) pelafusodoslugarespj e pk eeliminaodeti.O lugarpj/k Prepresenta oslugaresfundidos,onde I(pj/k)=I(pj)eO(pj/k)=O(pk)

pj

ti

pj

pk

69

Fusodetransiesemsrie
SejaN=(P,T,I,O,M0) umaRedeepiPuma transio,O(tj)=I(tk)=[pi]. Npodesertransformada emN=(P,T,I,O,M0) pelafusodastransies tj etk eeliminaodepi.A transiotj/kT representaastransies fundidas,ondeI(tj/k)=I(tj) eO(tj/k)=O(tk)

tj

pi

tj/k

tk

70

Fusodelugaresemparalelo
SejaN=(P,T,I,O,M0)uma Redeepi,phPlugares, I(pi)=I(ph)=[tj]e O(pi)=O(ph)=[tk].Npode sertransformadaem N=(P,T,I,O,M0)pela fusodoslugarespi eph. Olugarpi/hPrepresenta oslugaresfundidos,onde I(pi/h)=I(pi)=I(ph)=e O(pi)=O(ph)

tj

tj

pi

ph

pj/h

tk

tk

71

Fusodetransiesemparalelo
SejaN=(P,T,I,O,M0)uma Redeeti,thTtransies, I(ti)=I(th)=[pj]eO(ti)= O(th)=[pk].Npodeser transformadaem N=(P,T,I,O,M0)pelafuso dastransiesti eth.A transioti/hTrepresenta astransiesfundidas,onde I(ti/h)=I(ti)=I(th)e O(ti/h)=O(ti)=O(th)

pj

pj

ti

th

tj/k

pk

pk

72

Eliminaodeautolaos
SejaN=(P,T,I,O,M0)uma Redeeei PTum elemento.Seei P, M(ei)#O(ei).Se I(ei)=O(ei)entoNpode sertransformadaem N=(P,T,I,O,M0)pela eliminaodeei

ti

pj

pj

pi

tj

tj

73

ExtensessredesdePetri
Extensesparaconsiderartempo Extensesparaaumentaropoderde modelagem Outras

74

Redestemporizadas
Extenses temporizadas

Tokentimed

Transitiontimed

Placetimed

StochasticPN

TimePN

TimedPN

75

Redesdealtonvel
AsredesPredicado/Transioforamasprimeiras redesdealtonvel(Pr/Tnets) AsPrTnets foramdesenvolvidasporHartmann Genrich eKurt Lautenbach,1979

76

RedesLugar/Transio
Envia Prod Envia Rec Rec Cons

produtor consumidor

Envia Prod Envia

Rec Cons Rec

produtor consumidor
77

Estruturadarederepetida
Envia Prod Envia Rec Rec Cons

produtor consumidor

Envia Prod Envia

Rec Cons Rec

produtor consumidor
78

RedesPredicado/Transio
D={azul,laranja,verde,vermelho} varc,p:D

p
Prod

p (p,c)
Envia

c (p,c)
Rec

c
Cons

produtor Cadafichacarregaumvalordedados colorida!!!

consumidor Possveiscorresparaasfichas D,DD,DDD,etc.

79

RedesdePetridealtonvel
AdefiniodasredesPr/Tfoioprimeiropasso emdireosredesdealtonvelcomoso conhecidashoje
Fichas podemserdistinguidasumasdasoutrase portantosoditascoloridas Transies podemocorrerdediversasmaneiras dependendodacordasfichas deentradadisponveis Expressesdearcos eguardas podemserutilizadas paraespecificarcondiesparahabilitaoeos efeitosdasocorrncias
80

RedesdePetri Coloridas(CPN)
produtor
p
Prod

consumidor
Prod p (p,c)
Envia

c (p,c)
Rec

Cons

c
Cons

Pacote

Prod

Especificao maisprecisadas coresdasfichas

Cons

colset Prod = {vermelho, azul} colset Cons = {verde, rosa} colset pacotes = product Prod * Cons

var p : Prod var c : Cons

81

ConjuntosdeCores(Tipos)
Tiposdedados(colour sets)soutilizadosparaespecificar diferentestiposdefichasquepodemestarnosdiferentes lugares Tipospodemserarbitrariamentecomplexos:
Atmicos (inteiros,cadeiasdecaracteres,binriose enumeraes) Estruturados (produtos,registros,unies,listas,e subconjuntos)

Ousodetipospermiteconstruirdescriesmaislegveis utilizadosmnemnicosparanomesdetipos,como:
PROD,CONS,pacotes

Podemostambmobterdescriesmaiscorretas
Verificaoautomticadetiposparaexpressesdearcos
82

DescriesHierrquicas(mdulos)

p
Prod

Prod

p (p,c)
Envia

c (p,c)
Rec

Cons

c
Cons

Pacote

Prod

Cons

produtor

consumidor

83

Visoabstrata
HS produtor Buffer
pacotes

consumidor

HS

Interface (socket place) Usadopara trocarfichasentre assubredes

Transiode Substituio Referesesubrede (mdulo)

84

Mduloprodutor
Interface Portadesada
p
Prod

Prod

p (p,c)
Envia

Out
Buffer

Pacote

Usadopara exportarfichas paraoresto darede

Prod

produtor

85

Mduloconsumidor
Interface Portadeentrada Usadopara importarfichas doresto darede
In (p,c)
Buffer Rec

Cons

c
Cons

Pacote

Cons

consumidor

86

Descrieshierrquicas
Mdulossoutilizadosparaestruturas descriesgrandesecomplexas Mdulospermitemesconderdetalhesqueno devemserconsideradosemumdeterminado nveldeabstrao Mdulospossueminterfacesbemdefinidas,que consistedelugaressocket eport,atravsdos quaismdulostrocamfichascomoambiente Mdulospodemserreusados
87

Clulademanufatura
Depsito de entrada da clula Depsito de entrada da mquina Depsito de sada da mquina Depsito de sada da clula

mquina2 rob1 mquina1 Rotai Rotaj rob2 rob3 Pi

Recurso de produo da mquina

Pj mquina3

88

Abordagemestruturada

89

Transporteentreclulas

90

Transportedentrodasclulas

91

Recursosdasmquinas

92

Quatroclulas
Transporteentreclulas

Transportedentrodasclulas

Fazendoafuso delugarese transies Recursosdeproduo

Nemtodosos arcosesto Representados!

Enocasode existiremmais clulas?

93

ModeloCPN

94

MaisinformaessobreCPnets
http://www.daimi.au.dk/CPnets/ IntroduosCPnets,incluindoexemplos detalhados Manuaisdosconjuntosdeferramentas Design/CPN eCPNTools Umlistacommaisde50aplicaesindustriais DetalhessobreostrslivrossobreCPN

95

Oquemais?
Outrasextenses:
RedesdePetri nebulosas RedesdePetri orientadasaobjetos RedesdePetri algbricas http://www.daimi.au.dk/PetriNets/

Anlisealgbricaeestrutural
Invariantes Equaodeestados

96