PLACE p1, p2;

MARKING p1: 1, p2: 0;

TRANSITION t1
CONSUME p2: 1;
PRODUCE p1: 1;

TRANSITION t2
CONSUME p1: 1;
PRODUCE p2: 1;

TRANSITION t3
CONSUME;
PRODUCE p2: 1;