This chapter introduces DEVS formalism in terms of the atomic DEVS to define the dynamic behavior, and the coupled DEVS to build the hierarchical network structure.