Texto base de la asignatura - UNED

S = {“pasivo”,“activo”} × R + 0
× V +
DEVS PARALELO
(4.5)
Consecuentemente, el estado del sistema queda definido especificando el valor de
las tres variables de estado: (fase, σ, q).
Función de transición externa
En el modelo DEVS paralelo pueden producirse varios eventos de entrada simultáneamente
en un puerto, lo que equivaldría a la llegada simultánea de varias
entidades al proceso. Cuando se produce esta situación, el modelo debe situar las
entidades ordenadamente en la cola y, en caso de que el proceso se encuentre en
la fase “pasivo”, comenzar a trabajar con la entidad que se encuentre situada en
primer lugar. Obsérvese que las bolsas son conjuntos no ordenados de elementos.
Por tanto, en la bolsa de eventos de entrada los elementos (eventos de entrada) no
están ordenados.
La función de transición externa es la siguiente:
δext (fase, σ, q, e, ((“In”, x1), (“In”, x2), . . ., (“In”, xn))) =
(“activo”, ∆, {x1, x2, . . ., xn}) si fase =“pasivo”
(“activo”, σ − e, q • {x1, x2, . . .,xn}) si fase =“activo”
(4.6)
Obsérvese que los argumentos de entrada de la función son el estado total del
sistema, {fase, σ, q, e}, y la bolsa de los eventos de entrada, que está compuesta por
pares (puerto, evento de entrada). En este caso, hay un único puerto de entrada,
“In”, al cual se supone que llegan n eventos simultáneamente, de valor x1, . . ., xn.
En consecuencia, la bolsa de eventos de entrada se representa:
X b M
= ((“In”, x1), (“In”, x2), . . ., (“In”, xn)) (4.7)
El nuevo estado tras la transición externa depende del valor que tuviera fase en
el instante de llegada de los n eventos externos simultáneos:
– Si el proceso se encuentra en la fase“pasivo”, entonces no hay ninguna entidad
en q, ya que q almacena la entidad en proceso y las entidades en cola.
En la Figura 4.2a se representa el sistema en la fase“pasivo”. La circunferencia
representa el recurso. El elemento de q que está dentro de la circunferencia
205