{ Petri net generated by APT for net exercise 1.1 scheduler } PLACE p1, p2, q1, q2, s1, s2; MARKING p1 : 1, p2 : 1, s1 : 1; TRANSITION a1 CONSUME p1 : 1, s1 : 1; PRODUCE q1 : 1, s2 : 1; TRANSITION a2 CONSUME s2 : 1, p2 : 1; PRODUCE s1 : 1, q2 : 1; TRANSITION b1 CONSUME q1 : 1; PRODUCE p1 : 1; TRANSITION b2 CONSUME q2 : 1; PRODUCE p2 : 1;