The Discrete Event System Specification (DEVS) formalism has been employed to provide a common basis for discrete-event modeling and simulation. Here, we describe a DEVS library for finite state machines built using Cadmium, a DEVS Modeling and Simulation tool, and we discuss different case studies of Moore and Mealy Machines. We build upon the concept that each state can be represented as a DEVS atomic model instance which can be coupled with other instances to form a coupled model representing a Finite State Machine.

Cadmium, DEVS, Finite State Machine, Mealy machine, Moore machine
2020 Spring Simulation Multiconference, SpringSim 2020
Department of Systems and Computer Engineering

Shaw, A. (Amitav), Singh, A. (Arshpreet), & Wainer, G.A. (2020). A model library for finite state machines in Cadmium. In Simulation Series (pp. 750–761).