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

PLACE
coins, refill_requests, storage;

MARKING
	storage	: 4;

TRANSITION dispense
CONSUME
	coins	: 1,
	storage	: 1;
PRODUCE
	refill_requests	: 1;

TRANSITION insert_1_euro
CONSUME;
PRODUCE
	coins	: 1;

TRANSITION refill
CONSUME
	refill_requests	: 1;
PRODUCE
	storage	: 1;