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

PLACE
coins;

MARKING;

TRANSITION dispense
CONSUME
	coins	: 1;
PRODUCE;

TRANSITION insert_1_euro
CONSUME;
PRODUCE
	coins	: 1;