PLACE p, q; MARKING p: 0, q: 3; TRANSITION r CONSUME p: 1; PRODUCE p: 1; TRANSITION s CONSUME q: 2; PRODUCE p: 1; TRANSITION t CONSUME p: 1, q: 1; PRODUCE q: 3;