{ Petri net generated by APT for net exercise 1.5 net }

PLACE
bill, fwd, inf, req, s1, s2, s3, s4, s5, s6, s7;

MARKING
	s1	: 1,
	s5	: 1;

TRANSITION t1
CONSUME
	s1	: 1;
PRODUCE
	req	: 1,
	s2	: 1;

TRANSITION t2
CONSUME
	s2	: 1,
	bill	: 1;
PRODUCE
	s3	: 1;

TRANSITION t3
CONSUME
	s3	: 1,
	inf	: 1;
PRODUCE
	s1	: 1;

TRANSITION t4
CONSUME
	req	: 1;
PRODUCE
	s4	: 1;

TRANSITION t5
CONSUME
	s4	: 1;
PRODUCE
	fwd	: 1,
	bill	: 1;

TRANSITION t6
CONSUME
	fwd	: 1,
	s5	: 1;
PRODUCE
	s6	: 1;

TRANSITION t7
CONSUME
	s6	: 1;
PRODUCE
	s7	: 1,
	inf	: 1;

TRANSITION t8
CONSUME
	s6	: 1;
PRODUCE
	s7	: 1;

TRANSITION t9
CONSUME
	s7	: 1;
PRODUCE
	s5	: 1;