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