PLACE p1, p2, p3, p4, p5, p6, p7, p8, p9; MARKING p1: 0, p2: 0, p3: 0, p4: 0, p5: 0, p6: 1, p7: 1, p8: 0, p9: 0; TRANSITION t1 CONSUME p1: 1; PRODUCE p2: 1, p8: 1; TRANSITION t2 CONSUME p2: 1, p7: 1; PRODUCE p3: 1, p9: 1; TRANSITION t3 CONSUME p3: 1; PRODUCE p4: 1, p7: 1; TRANSITION t4 CONSUME p4: 1; PRODUCE p5: 1; TRANSITION t5 CONSUME p5: 1, p8: 1, p9: 1; PRODUCE p6: 1; TRANSITION t6 CONSUME p6: 1; PRODUCE p1: 1;