4 State Machine Model ToC Previous

4.6 StateMachine Extensions for ChoiceStates and Guards ToC Previous Next

4.6.1 Overview ToC Previous Next

This section describes extensions to the StateMachine model allowing choices and guards on StateMachines.

Previous Next