openleftdoor
State Kind
CompositeState
Parent State
TOP
Substates
Initial
Junction2
Junction3
Junction1
Transitions
t1
t2
timenotcompleted