PLACE p1, p2, p3, p4; MARKING p1: 2, p2: 0, p3: 0, p4: 1; TRANSITION t1 CONSUME p1: 4, p2: 2; PRODUCE p1: 5; TRANSITION t2 CONSUME p1: 2; PRODUCE p1: 1, p2: 1; TRANSITION t3 CONSUME p2: 1; PRODUCE p4: 1; TRANSITION t4 CONSUME p4: 2; PRODUCE p2: 1, p3: 1, p4: 1; TRANSITION t5 CONSUME p4: 2; PRODUCE p1: 1, p4: 1;