This animation tool will highlight the current state and allow events to be entered and would visualize the resulting state transitions.