{ Petri net generated by APT for net exercise 1.1 scheduler }

PLACE
p1, p2, q1, q2, s1, s2;

MARKING
	p1	: 1,
	p2	: 1,
	s1	: 1;

TRANSITION a1
CONSUME
	p1	: 1,
	s1	: 1;
PRODUCE
	q1	: 1,
	s2	: 1;

TRANSITION a2
CONSUME
	s2	: 1,
	p2	: 1;
PRODUCE
	s1	: 1,
	q2	: 1;

TRANSITION b1
CONSUME
	q1	: 1;
PRODUCE
	p1	: 1;

TRANSITION b2
CONSUME
	q2	: 1;
PRODUCE
	p2	: 1;