Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1
modelado (I)
• Exclusión mutua
– Relativa a recursos que sólo pueden ser utilizados por un proceso o por un
número limitado de procesos a la vez (recurso común).
– En RdP se modela mediante lugares marcados con más transiciones de
salida que de entrada (selección).
– Problemas de conflicto entre las transiciones de salida
• Es necesario establecer prioridades.
A B A B .A A B
¿A=B=1?
…
…
…
…
…
…
MB D
EB
CB
Fundamentos de Automática – Modelado de Sistemas para la Programación
de Autómatas
Redes de Petri: Sistema complejo (II) 3
MA MB
dA dB
EA EB
EB . E
EA EB
B
dA,G dB
CA D /* in T100 D /* in T50 CB
iA G iB
fin T100 fin T50
iA,G iB
EA ↓ EB ↓
MA MB
dA dB
EA EB
dA,G dB
CA D /* in T100 D /* in T50 CB
iA G iB
fin T100 fin T50
iA,G iB
EA ↓ EB ↓
MA MB
dA dB
dEAA/ EA dB /EE
BB
EB . E
EA EB
B
dA,G dB
CA D /* in T100 D /* in T50 CB
iA G iB
fin T100 fin T50
iA,G iB
EA ↓ EB ↓
A B C
A B C
fin B1 fin B2
A B C
fin B1 fin B2
A B C
s s s
Pa Pa Pa
d d d
M1 M2 M3
s s s
s
Pa Pa Pa
Pa
d d d
d
M1 M2 M3
s s s
s
Pa Pa Pa
Pa
d d d
d
M1 M2 M3