2020
A model library for finite state machines in Cadmium
Publication
Publication
Presented at the
2020 Spring Simulation Multiconference, SpringSim 2020 (May 2020), Virtual, Online
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.
Additional Metadata | |
---|---|
, , , , | |
2020 Spring Simulation Multiconference, SpringSim 2020 | |
Organisation | 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).
|