Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
216
En este caso, las n entidades que han llegado se dividen en dos grupos. El
primer grupo, compuesto por Nmax entidades, se almacena en la variable
q. El segundo grupo, compuesto por n − Nmax entidades, deben abandonar
inmediatamente el sistema, con lo cual se almacena en la variable qbalking. La
forma de que estas entidades abandonen el sistema es forzar inmediatamente
una transición interna. Para ello, se asigna a la variable de estado σ el valor
cero.
Esta fase transitoria del sistema, intermedia entre la llegada de entidades y la
salida de las que exceden de la capacidad máxima, está definida mediante el
valor “balking” de la variable de estado fase.
Puesto que cuando se produce el evento de entrada no hay ninguna entidad en
proceso, el tiempo que tardará en procesarse la entidad es ∆. En consecuencia,
el estado resultante de la transición externa es:
(“balking”, 0, {x1, . . .,xNmax}, ∆, {xNmax+1, . . .,xn})
3. El sistema está en la fase “activo” (equivalentemente, q = ∅) y además el
número de entidades que llega es menor o igual que Nmax − length(q). Es
decir, el número de entidades que se encuentran en el sistema (length(q)), más
el número de entidades que llegan (n), no superan la capacidad máxima del
sistema (Nmax).
En este caso, la fase del sistema no cambia: sigue siendo“activo”. Las entidades
recién llegadas se añaden a q, que pasa a valer: q • {x1, · · · , xn}. Ninguna de
las entidades recién llegadas debe ser expulsada del sistema: qbalking = ∅. El
tiempo restante hasta que finalice el proceso de la entidad que se encuentra
actualmente en proceso es: σ − e.
El estado resultante de la transición externa es:
(“activo”, σ − e, q • {x1, . . .,xn}, σ − e, ∅)
4. El sistema está en la fase “activo” y además el número de entidades que llega
es mayor que Nmax − length(q).
En este caso, parte de las entidades se añaden a q, de modo que el sistema
alcance su capacidad máxima, y el resto de entidades debe abandonar el
sistema.