SENIL @place . P1 { @label "idle1" } . . P2 { @label "trying1" } . . P3 { @label "incs1" } . . P5 { @label "trying1" } . . P6 { @label "trying1" } . . P7 { @label "trying1" } . . P8 { @label "trying1" } . . P9 { @label "flag1=0" } . . P10 { @label "flag1=1" } . . P11 { @label "turn=1" } . . P12 { @label "turn=2" } . . P13 { @label "flag2=0" } . . P14 { @label "flag2=1" } . . P15 { @label "idle2" } . . P16 { @label "trying2" } . . P17 { @label "incs2" } . . P19 { @label "trying2" } . . P20 { @label "trying2" } . . P21 { @label "trying2" } . . P22 { @label "trying2" } . @trans . T1 { @label "flag1:=1" } . . T2 { @label "flag2=0" } . . T3 { @label "turn:=2" } . . T4 { @label "turn:=2" } . . T5 { @label "flag1:=0" } . . T6 { @label "flag2=1" } . . T7 { @label "turn=1" } . . T8 { @label "turn=2" } . . T9 { @label "flag1:=0" } . . T10 { @label "turn=2" } . . T11 { @label "turn=1" } . . T12 { @label "flag1:=1" } . . T13 { @label "flag2:=1" } . . T14 { @label "flag1=0" } . . T15 { @label "turn:=1" } . . T16 { @label "turn:=1" } . . T17 { @label "flag2:=0" } . . T18 { @label "flag1=1" } . . T19 { @label "turn=2" } . . T20 { @label "turn=1" } . . T21 { @label "flag2:=0" } . . T22 { @label "turn=1" } . . T23 { @label "turn=2" } . . T24 { @label "flag2:=1" } . P1, P9 -> T1 -> P2, P10 P2, P13 -> T2 -> P3, P13 P3, P11 -> T3 -> P4, P12 P3, P12 -> T4 -> P4, P12 P4, P10 -> T5 -> P1, P9 P2, P14 -> T6 -> P5, P14 P5, P11 -> T7 -> P2, P11 P5, P12 -> T8 -> P6, P12 P6, P10 -> T9 -> P7, P9 P7, P12 -> T10 -> P7, P12 P7, P11 -> T11 -> P8, P11 P8, P9 -> T12 -> P2, P10 P15, P13 -> T13 -> P16, P14 P16, P9 -> T14 -> P17, P9 P17, P12 -> T15 -> P18, P11 P17, P11 -> T16 -> P18, P11 P18, P14 -> T17 -> P15, P13 P16, P10 -> T18 -> P19, P10 P19, P12 -> T19 -> P16, P12 P19, P11 -> T20 -> P20, P11 P20, P14 -> T21 -> P21, P13 P21, P11 -> T22 -> P21, P11 P21, P12 -> T23 -> P22, P12 P22, P13 -> T24 -> P16, P14 @marking P1, P9, P11, P13, P15