Process:
	PUTONCE
States:
	2
Transitions:
	PUTONCE = Q0,
	Q0	= (putdown -> ERROR
		  |[0..1].putSuccess.{drill, oven, press, tray} -> Q0
		  |[0..1].pickupSuccess.{drill, oven, press, tray} -> Q1),
	Q1	= ([0..1].putSuccess.{drill, oven, press, tray} -> Q0
		  |{[0..1].pickupSuccess.{drill, oven, press, tray}, putdown} -> Q1).
