Transitions of a FiniteStateMachine are represented as Objects of the ObjectType TransitionType formally defined in Table B.9.
Each valid Transition shall have exactly one FromState Reference and exactly one ToState Reference, each pointing to an Object of the ObjectType StateType.
Each Transition can have one or more HasCause References pointing to the cause that triggers the Transition.
Each Transition can have one or more HasEffect References pointing to the effects that occur when the Transition was triggered.
Table B.9 – TransitionType Definition
Subtype of the BaseObjectType defined in 6.2. Note that a Reference to this subtype is not shown in the definition of the BaseObjectType.