Process:
	NOMEANMOVE
States:
	6
Transitions:
	NOMEANMOVE = Q0,
	Q0	= ({pickup, process[0..1], {putdown, reset}} -> Q0
		  |move[1] -> Q1
		  |{moveFeed, moveOut} -> Q2
		  |move[0] -> Q3),
	Q1	= ({move[0..1], {moveFeed, moveOut}} -> ERROR
		  |{pickup, process[0..1], {putdown, reset}} -> Q4),
	Q2	= ({move[0..1], {moveFeed, moveOut}} -> ERROR
		  |{pickup, process[0..1], {putdown, reset}} -> Q0),
	Q3	= ({move[0..1], {moveFeed, moveOut}} -> ERROR
		  |{pickup, process[0..1], {putdown, reset}} -> Q5),
	Q4	= (move[1] -> ERROR
		  |{moveFeed, moveOut} -> Q2
		  |move[0] -> Q3
		  |{pickup, process[0..1], {putdown, reset}} -> Q4),
	Q5	= (move[0] -> ERROR
		  |move[1] -> Q1
		  |{moveFeed, moveOut} -> Q2
		  |{pickup, process[0..1], {putdown, reset}} -> Q5).
