Transitable State

State Machine can only have one TransitableState active per time, when some Transition happen, a new state be the active TransitableState

Note: FinishState is the only one that does not have Output, only Input