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

PLACE
s0, s1, s1p, s2, s2p, s3, s3p, s4, s4p, s5, s5p, s6, s6p;

MARKING
	s0	: 2,
	s1	: 1,
	s1p	: 1,
	s6	: 1,
	s6p	: 1;

TRANSITION t1
CONSUME
	s5	: 1,
	s1	: 1;
PRODUCE
	s5	: 1,
	s3	: 1,
	s2	: 1;

TRANSITION t1p
CONSUME
	s5p	: 1,
	s1p	: 1;
PRODUCE
	s3p	: 1,
	s2p	: 1,
	s5p	: 1;

TRANSITION t2
CONSUME
	s2	: 1;
PRODUCE
	s4	: 1;

TRANSITION t2p
CONSUME
	s2p	: 1;
PRODUCE
	s4p	: 1;

TRANSITION t3
CONSUME
	s3	: 1;
PRODUCE
	s4	: 1;

TRANSITION t3p
CONSUME
	s3p	: 1;
PRODUCE
	s4p	: 1;

TRANSITION t4
CONSUME
	s4	: 1,
	s6	: 1;
PRODUCE
	s1	: 1,
	s6	: 1;

TRANSITION t4p
CONSUME
	s6p	: 1,
	s4p	: 1;
PRODUCE
	s1p	: 1,
	s6p	: 1;

TRANSITION t5
CONSUME
	s5	: 1;
PRODUCE
	s6	: 1;

TRANSITION t5p
CONSUME
	s5p	: 1;
PRODUCE
	s6p	: 1;

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

TRANSITION t6p
CONSUME
	s6p	: 1,
	s0	: 1;
PRODUCE
	s5p	: 1;