PLACE p1, p2, p3, p4, p5, p6, p7;

MARKING p1: 0, p2: 0, p3: 0, p4: 0, p5: 0;

TRANSITION t1
CONSUME p2: 1;
PRODUCE p1: 1, p4: 1, p5: 1;

TRANSITION t2
CONSUME p2: 1, p3: 1;
PRODUCE p2: 1, p6: 1, p7: 1;

TRANSITION t3
CONSUME p1: 1;
PRODUCE p4: 1;

TRANSITION t4
CONSUME p5: 1;
PRODUCE p4: 1;

TRANSITION t5
CONSUME p5: 1, p6: 1;
PRODUCE p5: 1, p7: 1;