{ Petri net generated by APT for net exercise 2.3a net }

PLACE
s1, s2;

MARKING;

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