{ Petri net generated by APT for net Net for exercise 5.1 }

PLACE
p1, p2, p3, p4, p5;

MARKING
	p1	: 2;

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

TRANSITION t2
CONSUME
	p2	: 1,
	p4	: 1;
PRODUCE
	p1	: 3;

TRANSITION t3
CONSUME
	p2	: 1;
PRODUCE
	p5	: 1;

TRANSITION t4
CONSUME
	p5	: 1;
PRODUCE
	p4	: 1,
	p2	: 2;

TRANSITION t5
CONSUME
	p4	: 1,
	p3	: 3;
PRODUCE
	p3	: 5;