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