- <transition>\r
- <source ref="id12"/>\r
- <target ref="id12"/>\r
- <label kind="guard" x="0" y="161">x > 0 && !grid[x-1][3]</label>\r
- <label kind="synchronisation" x="25" y="119">leftRed!</label>\r
- <label kind="assignment" x="-85" y="85">grid[x+1][3]:=false,
-grid[x-1][3]:=true,
-x:=x-1</label>\r
- <nail x="-25" y="42"/>\r
- <nail x="178" y="51"/>\r
- </transition>\r
- <transition>\r
- <source ref="id12"/>\r
- <target ref="id12"/>\r
- <label kind="guard" x="-17" y="-255">x+2 < 6 && !grid[x+2][3]</label>\r
- <label kind="synchronisation" x="25" y="-221">rightRed!</label>\r
- <label kind="assignment" x="-85" y="-187">grid[x][3]:=false,
-grid[x+2][3]:=true,
-x:=x+1</label>\r
- <nail x="-17" y="-144"/>\r
- <nail x="144" y="-136"/>\r
- </transition>\r