{ Petri net generated by APT for net live and bounded Petri net with no home marking }

PLACE
p1, p2, p3, q1, q2, q3, s1, s2, s3;

MARKING
	p1	: 1,
	q1	: 1,
	s1	: 1,
	s2	: 1,
	s3	: 1;

TRANSITION t1
CONSUME
	p1	: 1,
	s2	: 1;
PRODUCE
	s1	: 1,
	p2	: 1;

TRANSITION t2
CONSUME
	s3	: 1,
	p2	: 1;
PRODUCE
	p3	: 1,
	s2	: 1;

TRANSITION t3
CONSUME
	p3	: 1,
	q2	: 1;
PRODUCE
	q2	: 1,
	p1	: 1,
	s3	: 1;

TRANSITION u1
CONSUME
	s2	: 1,
	s1	: 1,
	q1	: 1;
PRODUCE
	q2	: 1;

TRANSITION u2
CONSUME
	q2	: 1,
	s3	: 1;
PRODUCE
	q3	: 1,
	s2	: 1;

TRANSITION u3
CONSUME
	p2	: 1,
	q3	: 1;
PRODUCE
	q1	: 1,
	p2	: 1,
	s3	: 1;