SCSC2003 Abstract S91650

Implementing Finite State Machines Using the CD++ toolkit

Implementing Finite State Machines Using the CD++ toolkit

Submitting Author: Dr. Gabriel Wainer

Abstract:
DEVS (Discrete EVents systems Specification) is a formal modeling and simulation framework based on generic
dynamic systems concepts. DEVS well-defined concepts of coupling of components, hierarchical, modular model
construction permitted to provide a common representation for differenet existing formalisms (including Petri Nets,
PDE, and differen state machines). Here, we show how to apply the DEVS to build a library of finite state machine
(Moore machines) using a toolkit called CD++. State machines can be easily created and simulated by composing
the instances of the state and connecting those states according to some rules.


Back to SCSC2003 Abstracts