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.
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.