{ Petri net generated by APT for net exercise 2.4 net solution } PLACE s11, s12, s21, s31, s32; MARKING s21 : 1; TRANSITION t1 CONSUME s12 : 1, s11 : 1; PRODUCE s21 : 1; TRANSITION t2 CONSUME s21 : 1; PRODUCE s31 : 1, s32 : 1; TRANSITION t3 CONSUME s31 : 1; PRODUCE s11 : 1; TRANSITION ts11 CONSUME s11 : 1; PRODUCE s12 : 1; TRANSITION ts12 CONSUME s12 : 1; PRODUCE s11 : 1; TRANSITION ts21 CONSUME s21 : 1; PRODUCE s21 : 1; TRANSITION ts31 CONSUME s31 : 1; PRODUCE s32 : 1; TRANSITION ts32 CONSUME s32 : 1; PRODUCE s31 : 1;