Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
– Cuando el sistema está en fase = “pasivo” y se produce un evento de entrada
con un valor x = 0, entonces fase continua valiendo “pasivo” y la variable de
estado almacena pasa a valer x. No se planifica ninguna transición interna, con
lo cual el valor de σ pasa a ser infinito. El nuevo estado es (“pasivo”, ∞, x).
– Cuando el sistema está en fase = “pasivo” y se produce un evento de entrada
de valor x = 0 en el instante t, entonces se planifica una transición interna
para el instante t+∆. Así pues, se asigna a σ el valor ∆. La variable de estado
fase pasa a valer “responde” y el valor de la variable de estado almacena no se
modifica. El nuevo estado es (“responde”, ∆, almacena).
– Cuando el sistema está en fase =“responde”y se produce un evento de entrada,
éste es ignorado. Es decir, fase sigue valiendo“responde”, no se modifica el valor
de la variable de estado almacena y se actualiza el valor de σ. Puesto que e
es el tiempo transcurrido desde que se produjo el anterior evento, entonces
se reduce el valor de σ, restándole e, para reflejar el tiempo mas pequeño
durante el cual el sistema permanece en el estado actual. El nuevo estado es
(“responde”, σ − e, almacena).
Finalmente, la función de transición interna, δint, define el nuevo estado cuando
se produce una transición interna: la variable fase pasa de valer “responde” a
valer “pasivo”, no se modifica el valor de almacena y, puesto que no se planifica
ninguna transición interna, se asigna infinito a σ. Así pues, el nuevo estado es:
(“pasivo”, ∞, almacena).
3.2.3. Modelo de un generador de eventos
Este sistema genera una salida, de valor uno, cada cierto intervalo de tiempo
constante. La duración de dicho intervalo es un parámetro del modelo, llamado
periodo.
El conjunto de valores posibles del estado del modelo es el producto cartesiano
de los valores posibles de dos variables:
136
– La variable de estado fase puede tomar dos valores: “activo” y “pasivo”.
– La variable de estado σ puede tomar valores reales positivos.
En consecuencia, el conjunto de posibles valores del estado del sistema es: