Comportamiento de DEVS

El comportamiento de un modelo DEVS dado es un conjunto de secuencias de eventos cronometrados que incluyen eventos nulos, llamados segmentos de eventos , que hacen que el modelo se mueva de un estado a otro dentro de un conjunto de estados legales. Para definirlo de esta manera, es necesario introducir el concepto de un conjunto de estados ilegales así como un conjunto de estados legales.

Además, dado que el comportamiento de un modelo DEVS dado necesita definir cómo cambia la transición de estado tanto cuando pasa el tiempo como cuando ocurre un evento, ha sido descrito por un formalismo muy general, llamado sistema general [ZPK00] . En este artículo, usamos una subclase de formalismo del sistema general, llamada sistema de eventos cronometrados .

Dependiendo de cómo se definan el estado total y la función de transición de estado externo de un modelo DEVS , hay dos formas de definir el comportamiento de un modelo DEVS utilizando el sistema de eventos temporizados . Dado que el comportamiento de un modelo DEVS acoplado se define como un modelo DEVS atómico , el comportamiento de la clase DEVS acoplado también está definido por el sistema de eventos cronometrados.

Suponga que un modelo DEVS tiene ${\ displaystyle {\ mathcal {M}} = <X, Y, S, s_ {0}, ta, \ delta _ {ext}, \ delta _ {int}, \ lambda>}$

Entonces el modelo DEVS , es un sistema de eventos cronometrados donde ${\ Displaystyle {\ mathcal {M}}}$ ${\ displaystyle {\ mathcal {G}} = <Z, Q, Q_ {0}, Q_ {A}, \ Delta>}$

Para un estado total en el tiempo y un segmento de evento de la siguiente manera. ${\ Displaystyle q = (s, t_ {e}) \ in Q_ {A}}$ ${\ Displaystyle t \ in \ mathbb {T}}$ ${\ Displaystyle \ omega \ in \ Omega _ {Z, [t_ {l}, t_ {u}]}}$