From sequential machines to DEVS formalism
Norbert Giambiasi · Summer Computer Simulation Conference · 2009
In this paper, we propose a hierarchy of discrete event formalisms beginning with an untimed formalism and ending with the most expressive of them: the DEVS formalism. This hierarchy is intended to facilitate the specification of models in a design process or to allow a progressive analysis of real systems to be easily done.