Process:
	INITIAL_RULE
States:
	8
Transitions:
	INITIAL_RULE = Q0,
	Q0	= (process[0..1] -> ERROR
		  |{moveFeed, moveOut, pickup, putsuccess} -> Q0
		  |move[1] -> Q1
		  |move[0] -> Q2),
	Q1	= ({pickup, process[0..1]} -> ERROR
		  |{moveFeed, moveOut} -> Q0
		  |move[1] -> Q1
		  |move[0] -> Q2
		  |putsuccess -> Q3),
	Q2	= ({pickup, process[0..1]} -> ERROR
		  |{moveFeed, moveOut} -> Q0
		  |move[1] -> Q1
		  |move[0] -> Q2
		  |putsuccess -> Q4),
	Q3	= (process[0] -> ERROR
		  |{move[1], {moveFeed, moveOut, pickup}, process[1], putsuccess} -> Q3
		  |move[0] -> Q5),
	Q4	= (process[1] -> ERROR
		  |{move[0], {moveFeed, moveOut, pickup}, process[0], putsuccess} -> Q4
		  |move[1] -> Q6),
	Q5	= ({pickup, process[0]} -> ERROR
		  |{move[1], {moveFeed, moveOut}} -> Q3
		  |{move[0], process[1]} -> Q5
		  |putsuccess -> Q7),
	Q6	= ({pickup, process[1]} -> ERROR
		  |{move[0], {moveFeed, moveOut}} -> Q4
		  |{move[1], process[0]} -> Q6
		  |putsuccess -> Q7),
	Q7	= ({move[0..1], {moveFeed, moveOut, pickup}, process[0..1], putsuccess} -> Q7).
