PLACE p1, p2;

MARKING p1: 0, p2: 2;

TRANSITION t1
CONSUME p1: 4, p2: 1;
PRODUCE p1: 5;

TRANSITION t2
CONSUME p1: 2;
PRODUCE p1: 1, p1: 1;