checkplatformside
State Kind
CompositeState
Parent State
TOP
Substates
Initial
Junction1
Junction2
Junction3
Junction4
Transitions
right
t2
yes
t1