Texto base de la asignatura - UNED

DEVS CL ÁSICO
X = { (p, v) | p ∈ InPorts, v ∈ Xp } Se denomina InPorts al conjunto de
puertos de entrada del sistema. Para un
puerto p, perteneciente a InPorts, se
llama Xp al conjunto de posibles valores
de los eventos de entrada en el puerto p.
El conjunto de entrada X está compuesto
por las parejas (p,v), donde p en el
nombre del puerto de entrada y v es el
valor del evento. Este valor pertenecerá
al conjunto de valores admisibles Xp.
S Conjunto de posibles estados secuencia-
les del sistema.
Y = { (p, v) | p ∈ OutPorts, v ∈ Yp } Análogamente al conjunto de entrada, el
conjunto de salida está compuesto por
las parejas (puerto de salida, valor del
evento).
δint : S → S Función de transición interna.
δext : Q × X → S Función de transición externa. Q =
{ (s,e) | s ∈ S, 0 ≤ e ≤ ta(s) } es el es-
tado total y e es el tiempo transcurrido
desde la anterior transición.
λ : S → Y Función de salida.
ta : S → R + 0,∞
Función de avance de tiempo.
Puede comprobarse que la definición del modelo DEVS con varios puertos es
similar a la del modelo DEVS SISO, con la excepción de la especificación de los
conjuntos de entrada (X) y salida (Y ).
3.3.1. Modelo de un conmutador
En la Figura 3.7 se muestra la interfaz del modelo de un conmutador. Tiene
dos puertos de entrada, InPorts = {in, in1}, y dos puertos de salida, OutPorts =
{out, out1}.
143