Texto base de la asignatura - UNED

ta : S → R + 0,∞
DEVS CL ÁSICO
Función de avance de tiempo (time advance function). El
argumento de entrada a esta función es un elemento de S,
que llamamos s. La salida devuelve un número real positivo,
incluyendo 0 e ∞, es decir, un elemento del conjunto R + 0,∞ .
Este número, que se denomina “avance de tiempo”, es el
tiempo que permanecerá el modelo en el estado s en ausencia
de eventos de entrada.
La interpretación de estos elementos es la siguiente. Supongamos que en el
instante de tiempo t1 el sistema está en el estado s1. Si no se produce ningún
evento de entrada, el sistema permanecerá en el estado s1 durante ta(s1) unidades
de tiempo, es decir, hasta el instante t1 + ta(s1). Obsérvese que ta(s1) puede ser un
número real positivo, cero o infinito.
– Si ta(s1) es cero, entonces el sistema está en el estado s1 un tiempo cero, con
lo cual los eventos externos (eventos de entrada) no pueden intervenir. En este
caso, se dice que s1 es un estado transitorio.
– Por el contrario, si ta(s1) vale infinito, el sistema permanecerá en el estado s1
hasta que suceda un evento externo. En este caso, se dice que s1 es un estado
pasivo.
Llegado el instante t2 = t1 + ta(s1), se produce una transición interna. Es decir,
se realizan las siguientes acciones (en el orden indicado):
1. Se asigna a e el tiempo transcurrido desde la última transición: e = ta(s1).
2. La salida del sistema cambia al valor y1 = λ(s1).
3. El estado del sistema pasa de ser s1 a ser s2 = δint(s1).
4. Se planifica la siguiente transición interna para el instante t2 + ta(s2). Para
ello, se añade dicha transición a la lista de eventos.
Si antes del instante en que está planificada la siguiente transición interna llega
un evento de entrada al sistema, entonces en el instante de llegada del evento de
entrada se produce una transición externa.
Supongamos que el sistema pasa (mediante una transición interna o externa) al
estado s3 en el instante t3 y que en el instante t4 llega un evento de entrada de valor
127