Process:
	ENV
States:
	4
Transitions:
	ENV = Q0,
	Q0	= (ready -> Q1),
	Q1	= ({consumeA, consumeB, consumeC, consumeD, consumeE, consumeF, consumeG, consumeH, consumeI, consumeJ} -> Q2),
	Q2	= (exit -> Q3),
	Q3	= ({supplyA, supplyB, supplyC, supplyD, supplyE, supplyF, supplyG, supplyH, supplyI, supplyJ} -> Q0).
