State Machine Generator
Generates an event driven state machine from a definition consisting of state variables, triggers and guards.
Trigger and guard conditions can be any logical combination of conditions on the state variables. State entry, exit and transition guards are supported.
Please check the Introduction.html file for a summary.