Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
especial, que limita la trayectoria de salida para que sea también una secuencia de
eventos.
La especificación de un modelo DEVS atómico con un puerto de entrada y un
puerto de salida (SISO) es la tupla siguiente:
donde:
126
DEVS = 〈X, S, Y, δint, δext, λ, ta〉 (3.1)
X Conjunto de todos los posibles valores que un evento de
entrada puede tener.
S Conjunto de posibles estados secuenciales. La dinámica del
modelo DEVS consiste en una secuencia ordenada de estados
pertenecientes a S.
Y Conjunto de posibles valores de los eventos de salida.
δint : S → S Función de transición interna, que describe la transición de
un estado al siguiente estado secuencial S.
Mediante “δint : S → S” únicamente pretende indicarse que
la función δint tiene un único argumento, que es un elemento
del conjunto S, y la salida de la función es también un
elemento del conjunto S.
δext : Q×X → S Función de transición externa. La función tiene dos ar-
gumentos de entrada: un elemento del conjunto Q y un
elemento del conjunto X. La función devuelve un elemento
del conjunto S.
El conjunto Q, llamado estado total, se define de la forma
siguiente:
Q = { (s,e) | s ∈ S, 0 ≤ e ≤ ta(s) }
Cada elemento del conjunto Q está formado por dos valores:
(s,e), donde s es un elemento del conjunto S y e es
un número real positivo: el tiempo transcurrido desde la
anterior transición del estado. Como veremos, el valor de
e siempre está acotado de la forma siguiente: 0 ≤ e ≤ ta(s).
λ : S → Y Función de salida. El argumento de entrada a la función
es un elemento del conjunto S. La función devuelve un
elemento del conjunto Y .