Equivalence and minimization of output augmented DEVS

We propose an augmented DEVS (discrete event system specification) which is able to generate an event string when it receives an input event or its scheduled internal event is triggered. This augmentation is useful in the model analysis since we can generate equivalent behavior with fewer states. For identifying equivalent behavior, introduced in this paper is a timed language that is a set of event trajectories. Ways of identifying equivalent states and equivalent DEVSs are introduced according to their generating language. We also show some methods for minimization of the augmented DEVS while guaranteeing preservation of equivalent behavior.