A model library for finite state machines in Cadmium

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.