 InvalidArriveStation = Q0,
	Q0	= ([0].{{arriveInduction, arrivePicking}[1], arriveReplenish[0..1], arriveShipping[1]} -> ERROR
		  |{[0].arrive[0..1][0..1], reset} -> Q0).
