Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
x1 (que es el valor guardado en la variable de estado almacena), para el instante
t2 + ∆.
En el instante t3 se produce un evento de entrada de valor x2. Sin embargo, como
no ha transcurrido todavía el tiempo de respuesta, es decir, como t3 < t2 + ∆, el
evento de entrada es ignorado.
En el instante t2 + ∆ se produce el evento de salida y la variable de estado fase
vuelve a valer “pasivo”.
Posteriormente, en el instante t4 se produce un evento de entrada de valor cero.
Nuevamente, fase pasa a valer“responde”y se programa un evento de salida de valor
x1 para el instante t4 +∆. Llegado ese instante, se produce el evento de salida y fase
vuelve a valer “pasivo”.
En el instante t5 se produce un evento de entrada de valor x3 = 0. Puesto que
fase=“pasivo”, el valor x3 se almacena inmediatamente en la variable de estado
almacena.
Finalmente, en el instante t6 se produce un evento de entrada de valor 0, con lo
cual fase pasa a valer “responde”y se programa un evento de salida de valor x3 para
el instante t6 + ∆.
El comportamiento del DEVS acumulador puede expresarse formalmente de la
manera siguiente:
DEVS∆ = 〈X, S, Y, δint, δext, λ, ta〉 (3.4)
Se ha escrito ∆ como subíndice de la palabra DEVS para indicar que el sistema
tiene un parámetro llamado ∆ (el tiempo de respuesta). Un parámetro es una
variable cuyo valor debe especificarse antes de iniciar la simulación del modelo y
cuyo valor no se modifica posteriormente. Los elementos de la tupla tienen los valores
siguientes:
134