The State Notation Language Provides a Mechanism for State Machine Implementation in EPICS
The Channel Access Client provides name resolution,
monitors and writes to state programs
SNL is preprocessed to be converted to C code
Constructs are provided for easy channel access interface
Construct are provided to define state programs, state sets and transitions
SNL implements the Mealy Model - actions are only taken on transition
SNL runs in the vxWorks environment
Events are supported for synchronizing state sets within a state program
SNL does not have a server
The process database is used for variables to be exported