Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
4.5. SOLUCIONES A LOS EJERCICIOS
Solución al Ejercicio 4.1
El número de entidades que se encuentran en el sistema es igual al número de
entidades que almacena la variable q. Llamaremos length(q) a dicho número, que es
la suma de la entidad que está en proceso más las entidades que esperan en la cola.
El valor length(q) no puede superar el valor Nmax. Supongamos que en un
determinado instante de tiempo se produce un evento en el puerto “In”, en el cual
se produce la llegada de las entidades x1, · · ·, xn. Hay dos posibilidades:
1. Si length(q)+n ≤ Nmax, entonces todas las entidades que llegan son admitidas
en el sistema y el número de entidades pasaría a ser length(q) + n.
2. Si length(q)+n > Nmax, entonces de las n entidades que han llegado, Nmax −
length(q) son admitidas en el sistema y las restantes length(q) + n − Nmax
abandonan inmediatamente el sistema.
En determinadas aplicaciones es necesario distinguir entre las entidades que abandonan
el sistema nada más llegar y las que abandonan el sistema tras ser procesadas
normalmente. Por ello, definimos dos puertos de salida (véase la Figura 4.6):
– “Out”: entidades que abandonan el sistema tras ser procesadas.
– “Balk”: entidades que no pueden ser aceptadas en el sistema por haberse
superado la capacidad máxima del mismo.
In
Out
Balk
Figura 4.6: Diagrama del modelo.
Los puertos de entrada y salida, y los posibles valores de los eventos en
estos puertos son los siguientes:
214
XM = { (“In”, R)}
YM = { (“Out”, R), (“Balk”, R) }
(4.13)