ABSTRACT
This chapter introduces the discrete-event systems specification (DEVS) formalism for modeling of discrete-event systems (DESs). Based on set theory, the formalism specifies DESs in a hierarchical, modular manner. Models specified by the formalism can be used for analysis as well as performance simulation of DESs.
