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