Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
donde:
DEVS = 〈X, S, Y, δint, δext, λ, ta〉 (3.44)
X = R
Y = N
S = {“pasivo”,“activo”} × R + 0 × N
δext (“pasivo”, σ, cuenta, e, x) =
δint (fase, σ, cuenta) = (“pasivo”, ∞, cuenta)
λ (“activo”, σ, cuenta) = cuenta
ta (fase, σ, cuenta) = σ
(“pasivo”, σ − e, cuenta + 1) si x = 0
(“activo”, 0, cuenta) si x = 0
La inicialización del modelo consistiría en asignar el siguiente valor al estado:
(3.45)
(fase, σ, cuenta) = (“pasivo”, ∞, 0) (3.46)
Para ilustrar el comportamiento del modelo, en la Figura 3.19 se muestra la
evolución del estado y la trayectoria de salida del contador, para una determinada
trayectoria de entrada.
Obsérvese que en los instantes t1 y t4 se producen sendos eventos de entrada de
valor cero. Al ejecutar la función de transición externa, el sistema pasa al estado
transitorio (“activo”, 0, cuenta). Puesto que en este estado σ = 0, a continuación,
en el mismo instante de tiempo, tiene lugar una transición interna. Se genera un
evento de salida de valor igual al valor que ese instante tiene cuenta y se produce
una transición de estado, definida por la función de transición interna. El estado
resultante de la transición interna es (“pasivo”, ∞, cuenta).
Solución al Ejercicio 3.3
El estado del sistema está compuesto por las tres variables de estado siguientes:
(fase, σ, almacena).
184