Texto base de la asignatura - UNED

DEVS PARALELO
Así pues, el estado del sistema está caracterizado por las siguientes cinco variables:
(fase, σ, almacena, almacena1, Sw). El conjunto de posibles estados viene
definido por el producto cartesiano de los posibles valores de cada una de estas
variables: S = {“pasivo”,“activo”} × R + 0 × {Secuencia finita de valores R} ×
{Secuencia finita de valores R} × {true, false}. La descripción del sistema es la
siguiente:
DEVS∆ = 〈X, S, Y, δint, δext, λ, ta〉 (4.17)
donde los conjuntos de entrada y salida son los siguientes:
XM = { (p, v) | p ∈ InPorts = {in, in1}, v ∈ Xp } , con Xin = Xin1 = R
YM = { (p, v) | p ∈ OutPorts = {out, out1}, v ∈ Yp } , con Yout = Yout1 = R
(4.18)
Supongamos que simultáneamente se reciben eventos en los dos puertos de entrada.
Llamemos Xb in a la bolsa de eventos recibida en el puerto in y Xb in1 a la
recibida en el puerto in1. Si en alguno de estos puertos no se recibieran eventos, la
correspondiente bolsa sería igual al conjunto vacío. Las funciones de transición son:
b
δext S, e, XM =
b “activo”, ∆, Xin , Xb in1 , !Sw si fase =“pasivo”
(fase, σ − e, almacena, almacena1, Sw) en caso contrario
δint (S) = (“pasivo”, ∞, almacena, almacena1, Sw)
b
δcon S, e, XM = δext δint (S) , 0, Xb
M
La función de salida es:
λ (S) =
(out, almacena) , (out1, almacena1) si Sw = true
(out, almacena1) , (out1, almacena) si Sw = false
(4.19)
(4.20)
Si la bolsa de eventos asociada a un puerto está vacía, no se produce ningún
evento de salida por el correspondiente puerto. Finalmente, la función de avance del
tiempo es:
ta (S) = σ (4.21)
225