{ Petri net generated by APT for net exercise 2.2c net with weights }

PLACE
coins, refill_requests_large, refill_requests_small, storage_large, storage_small;

MARKING
	storage_large	: 3,
	storage_small	: 4;

TRANSITION dispense_large
CONSUME
	storage_large	: 1,
	coins	: 2;
PRODUCE
	refill_requests_large	: 1;

TRANSITION dispense_small
CONSUME
	storage_small	: 1,
	coins	: 1;
PRODUCE
	refill_requests_small	: 1;

TRANSITION insert_1_euro
CONSUME;
PRODUCE
	coins	: 1;

TRANSITION refill_large
CONSUME
	refill_requests_large	: 1;
PRODUCE
	storage_large	: 1;

TRANSITION refill_small
CONSUME
	refill_requests_small	: 1;
PRODUCE
	storage_small	: 1;