Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
En consecuencia, la función de salida puede describirse de la forma siguiente:
λ(fase, σ, v • q ∗ , τp, qbalking) =
(“Out”, v) si fase = “activo”
(“Balk”, qbalking) si fase = “balking”
La función de transición interna determina el cambio en el estado del modelo
que se produce en la transición interna. Al igual que en el caso de la función de
salida, hay que distinguir dos situaciones: fase = “activo” y fase = “balking”. El
nuevo estado, en cada uno de estos casos, es el siguiente:
1. Si fase = “activo”, la transición interna implica que ha finalizado el proceso
de una entidad y ésta debe abandonar el sistema. El nuevo estado del sistema
depende de si el sistema queda vacío o si, por el contrario, debe comenzar el
proceso de otra entidad.
– Si q ∗ = ∅, el sistema queda vacío. El nuevo estado es:
(“pasivo”, ∞, ∅, ∞, ∅)
– Si q ∗ = ∅, quedan entidades en el sistema, con lo cual una de ellas debe
comenzar a ser procesada. El nuevo estado es:
(“activo”, ∆, q ∗ , ∆, ∅)
2. Si fase = “balking”, la transición interna corresponde a que parte de las
entidades que acaban de llegar al sistema deben abandonarlo. El nuevo estado
es:
(“activo”, τp, q, τp, ∅)
Obsérvese que se asigna a σ el valor del tiempo de proceso restante de la
entidad que está actualmente en proceso (τp).
Teniendo en cuenta las tres posibles situaciones anteriores, la función de transición
interna puede definirse de la forma siguiente:
218