Beruflich Dokumente
Kultur Dokumente
Classificao
NveisdeAbstrao
ModeloRepresentativo
Fundamental
Sistemaselementares
Redescondioevento
Intermedirio
RedesLugar/Transio
AltoNvel
RedesColoridas
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
p1
t1
p2
Arco
Representaogrfica
Mltiplosarcos
Pesosindicandoa
multiplicidade
p2
p1
p2
p1
2
t1
t1
3
p3
p3
ExemploI
Embalar2buchase2parafusosemumaembalagemdeplstico
2embalagens;
Transico
Nenhumatransicopode
monta ocorrerapartirdeagora Transico
6parafusos;
despacha
habilitada
ocorre
embalagem
embaladeira livre
habilitada
ocorre6buchas;
Embaladeiraest
livre;
parafusos
2
2
buchas
monta
embaladeira
ocupada
despacha
depsito de
sada
ExemploII
Reaoqumicaparaproduzirumamolculadegua
Reaco
quimica
habilitada
H2
2
H2O
2
Reao
qumica
O2
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
RedeLugar/Transio
N=(P,T,F,W,M0)
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
ousimplesmenteM(t1,p3),
0 (P)= [2,2,3,1,0,0]
W(p4,t1)=1 (t1,p5)}
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
p3
p0
p1
t0
p4
t1
p5
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]
p0
t0
t3
p1
100000
010000
001000
I=000100
000010
000001
100100
001000
100000
011000
O=000001
000100
000010
010001
p3
p6
p4
t2
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)
2. Umatransiohabilitadapode
ounoocorrer
3. Seatransiotj ocorrer,ento:
t0
t3
p1
p6
p4
t2
t4
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)
M(p1)=M(p1)+w(t0,p1) w(p1,t0)
1=0+1
0
t1
t4
p2
p5
M(p0)=M(p0) w(p0,t0)+w(t0,p0)
13
0=1
1+0
RedesdePetri
Transiosorvedouro
p0
t0
Antesda
ocorrncia
p0
t0
Depoisda
ocorrncia
Transiofonte
t0
t0
p0
Antesda
ocorrncia
p0
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
Casohaja:adicionaseumpar
(transioelugar)semfuno
(dummy)paraeliminalo
t0
p1
parsem
funo
p2
t1
P2
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
Assimtrica
p2
p0
t0
p1
t1
t2
t2
p0
t0
t0et2soconcorrentese
estoemconflitocomt1.A
ocorrnciadet1impossibilita
oocorrnciadet0et2
p1
t1
t0et2soconcorrentes,mas
set2ocorreprimeiro,t0et1
estaroemconflitoefetivo
19
Controledefluxo
Computaosimples
Seqenciamento
20
Chamadadefuno
funo
21
Processosparalelos
M0
p0
M0
t0
t0
s0={t0}
M1
p1
p2
t1
t2
p3
p4
t1
t2
M2
M1
M3
t2
t1
s1={t1,t2}
M4
M4
t3
p5
s2={t3}
t3
M5
Grafodealcanabilidade
M5
Grafodepassos
22
Exclusomtua
p0
p3
t0
t3
p1
p6
p4
t2
t5
t1
t4
p2
p5
23
Computaoporfluxodedados
b
t1
ab
t4
a
a
t0
t2
a0
t3
a=0
(ab)/a
t5
2(ab)/a
24
Comunicao
Sncrona
Assncrona
p0
p1
p0
p2
p4
t0
t0
p2
P`1
t2
p3
25
Comunicaosncronacom
reconhecimento
p0
p3
p6
t0
t2
p1
p4
p7
t1
p2
t3
p5
26
Produtor/Consumidor(bufferilimitado)
Produtor
Consumidor
p0
p2
produziu
um item
prontopara
consumir
buffer
t0
t2
p1
p4
p3
pronto para
produzir
t1
consumiu
umitem
t3
27
Produtor/Consumidor(bufferlimitado)
desabilitada
(noproduz)
Produtor
p0
produziu
um item
Consumidor
p2
contador
(c=3)
prontopara
consumir
p5
t0
t2
p1
pronto para
produzir
p3
buffer
consumiu
umitem
p4
t1
t3
28
Jantardosfilsofos
pensando
garfo3
Aristteles
pensando
comendo
Demcrito
comendo
comendo
garfo2
garfo1
pensando
Decartes
Abordagemdemodelagem
Topdown
Refinamento
Bottonup
Composio
Hbrida
RefinamentoeComposio
30
Refinamento
p0
t421
t4
t0
p2
p421
p6
p422
p1
t422
t2
t1
t5
p41
p423
t41
p3
p4
t3
t423
p424
t42
p42
t424
p5
31
Composio
p0
p0
t0
t0
t4
Fuso
p6
p2
p1
p2
t5
t1
t2
Sincronizao
p3
p4
t3
t3
p5
p5
32
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
35
Alcanabilidade
M=[0,0,0,1]acessvelapartirdeM0?
p0
t0
M0=[1,0,0,0]
t4
t0
p1
t2
p3
M1=[0,1,0,0]
t1
t3
t1
p2
Sim,pelaocorrnciade=t0t1t3
M2=[0,0,1,0]
t3
M3=[0,0,0,1]
36
Alcanabilidade
M=[0,0,0,1]acessvelapartirdeM0?
p0
t0
M0=[1,0,0,0]
t4
t2
p1
t2
p3
M2=[0,0,1,0]
t3
t3
t1
M3=[0,0,0,1]
p2
Sim,pelaocorrnciade=t0t1t3 oude=t2t3
37
Impasse
Defineaimpossibilidadedaocorrnciade
qualquertransiodarede
p0
p3
t0
t3
p6
p1
p4
t1
t4
p2
t2
Impasse
p5
p7
t5
38
Grafodealcanabilidade
SejaumaRededePetrimarcada(N,M0)
R(N,M0)=(V,A)defineografodealcanabilidade
(ReachabilityGraph)
Voconjuntodevrticesdefinidopeloconjuntode
marcaesalcanveis
A VTVumarelaodefinindoassociaes
entremarcaesalcaveis
39
Grafodealcanabilidade
M0
p3
p0
t0
t2
t3
p1
p6
t3
M1
t1
p4
t2
t0
t5
M2
M5
t5
t2
t3
t4
p2
p5
M0=[1001001]
M1=[0101000]
M2=[0011001]
M3=[0010100]
M4=[0010011]
M5=[1000100]
M6=[1000011]
M7=[0100010]
t4
t0
M3
t1
t5
M7
t4 t1
t5
M6
t2
M4
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
M1
t1
p2
t2
t4
t1
t4
Semimpasses
Noviva
M2
t3
t3
p3
p4
M3
42
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
t0
p2
t3
p1
p3
t1
46
Reversibilidade
Reversvel
p0
t0
t3
p2
p3
p1
t2
t1
t4
47
Reversibilidade
Irreversvel
p0
p4
t0
p1
t1
p2
t2
p3
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
t0
p2
p1
p2
p1
t1
t2
t1
t2
p3
p4
p3
p4
t3
Grafomarcado
t3
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
p0
t1
3
p1
t3
p4
p2
p3
3
t2
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]
2
2
t4
(3(30)+(2
1)+(2
1)+(21)+(5
0)+(5
1)+(53)+(4
0)+(4
0)+(40)+(6
2)+(6
0)+(60)=17
1)=17
2)=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}
p3
p0
t0
t1
p1
p2
t2
t3
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}
p3
p0
t0
t1
p1
p2
t2
t3
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
t1
t2
p3
p1
t3
p4
t4
t1
p2
t2
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
t1
p2
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
p1
p2
t3
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
t1
p2
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
pi
tj
ph
tk
pj/h
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
ti
pj
th
pk
tj/k
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
StochasticPN
Transitiontimed
TimePN
Placetimed
TimedPN
75
Redesdealtonvel
AsredesPredicado/Transioforamasprimeiras
redesdealtonvel(Pr/Tnets)
AsPrTnets foramdesenvolvidasporHartmann
Genrich eKurt Lautenbach,1979
76
RedesLugar/Transio
Envia
Rec
Cons
Prod
Envia
Rec
produtor
consumidor
Envia
Rec
Prod
Cons
Envia
Rec
produtor
consumidor
77
Estruturadarederepetida
Envia
Rec
Cons
Prod
Envia
Rec
produtor
consumidor
Envia
Rec
Prod
Cons
Envia
Rec
produtor
consumidor
78
RedesPredicado/Transio
D={azul,laranja,verde,vermelho}
varc,p:D
c
(p,c)
Prod
Envia
produtor
Cadafichacarregaumvalordedados
colorida!!!
(p,c)
Rec
Cons
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
consumidor
Prod
Prod
c
(p,c)
(p,c)
Envia
Prod
Cons
Rec
Pacote
Especificao
maisprecisadas
coresdasfichas
Cons
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)
Prod
Prod
c
(p,c)
(p,c)
Envia
Cons
Rec
Pacote
c
Cons
Prod
Cons
produtor
consumidor
83
Visoabstrata
HS
produtor
Buffer
consumidor
HS
pacotes
Interface
(socket place)
Usadopara
trocarfichasentre
assubredes
Transiode
Substituio
Referesesubrede
(mdulo)
84
Mduloprodutor
Interface
Portadesada
p
Prod
Prod
Out
(p,c)
Envia
Buffer
Pacote
Usadopara
exportarfichas
paraoresto
darede
Prod
produtor
85
Mduloconsumidor
Interface
Portadeentrada
Usadopara
importarfichas
doresto
darede
In
c
(p,c)
Buffer
Rec
Pacote
Cons
c
Cons
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
Pi
mquina1
Rotai
Rotaj
rob2
Recurso de
produo da
mquina
rob3
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