state transitions cluster__p p cluster__p_o1 o1 cluster__p_o0 o0 __initial __initial->_p _p_o1_initial _p_o1_x x _p_o1_initial->_p_o1_x _p_o1_y y _p_o1_x->_p_o1_y after(250 ms)    _p_o0_initial _p_o0_a a _p_o0_initial->_p_o0_a _p_o0_c c onentry/ ^out.in_c _p_o0_b b onentry/ ^out.in_b _p_o0_b->_p_o0_a _p_o0_a->_p_o0_c after(150 ms)    _p_o0_a->_p_o0_b after(100 ms) [INSTATE(["/p/o1/x"])]