Process:
	NO_PICK_PROCESSING
States:
	12
Transitions:
	NO_PICK_PROCESSING = Q0,
	Q0	= ({{moveFeed, moveOut, picksuccess}, process[0..1].end} -> Q0
		  |process[0] -> Q1
		  |move[1] -> Q2
		  |move[0] -> Q3
		  |process[1] -> Q4),
	Q1	= (process[0].end -> Q0
		  |{{moveFeed, moveOut, picksuccess}, process.{[0], [1].end}} -> Q1
		  |move[1] -> Q5
		  |move[0] -> Q6
		  |process[1] -> Q7),
	Q2	= ({moveFeed, moveOut} -> Q0
		  |{move[1], picksuccess, process[0..1].end} -> Q2
		  |move[0] -> Q3
		  |process[0] -> Q5
		  |process[1] -> Q8),
	Q3	= ({moveFeed, moveOut} -> Q0
		  |move[1] -> Q2
		  |{move[0], picksuccess, process[0..1].end} -> Q3
		  |process[0] -> Q6
		  |process[1] -> Q9),
	Q4	= (process[1].end -> Q0
		  |{{moveFeed, moveOut, picksuccess}, process.{[0].end, [1]}} -> Q4
		  |process[0] -> Q7
		  |move[1] -> Q8
		  |move[0] -> Q9),
	Q5	= ({moveFeed, moveOut} -> Q1
		  |process[0].end -> Q2
		  |{move[1], picksuccess, process.{[0], [1].end}} -> Q5
		  |move[0] -> Q6
		  |process[1] -> Q10),
	Q6	= (picksuccess -> ERROR
		  |{moveFeed, moveOut} -> Q1
		  |process[0].end -> Q3
		  |move[1] -> Q5
		  |{move[0], process.{[0], [1].end}} -> Q6
		  |process[1] -> Q11),
	Q7	= (process[1].end -> Q1
		  |process[0].end -> Q4
		  |{{moveFeed, moveOut, picksuccess}, process[0..1]} -> Q7
		  |move[1] -> Q10
		  |move[0] -> Q11),
	Q8	= (picksuccess -> ERROR
		  |process[1].end -> Q2
		  |{moveFeed, moveOut} -> Q4
		  |{move[1], process.{[0].end, [1]}} -> Q8
		  |move[0] -> Q9
		  |process[0] -> Q10),
	Q9	= (process[1].end -> Q3
		  |{moveFeed, moveOut} -> Q4
		  |move[1] -> Q8
		  |{move[0], picksuccess, process.{[0].end, [1]}} -> Q9
		  |process[0] -> Q11),
	Q10	= (picksuccess -> ERROR
		  |process[1].end -> Q5
		  |{moveFeed, moveOut} -> Q7
		  |process[0].end -> Q8
		  |{move[1], process[0..1]} -> Q10
		  |move[0] -> Q11),
	Q11	= (picksuccess -> ERROR
		  |process[1].end -> Q6
		  |{moveFeed, moveOut} -> Q7
		  |process[0].end -> Q9
		  |move[1] -> Q10
		  |{move[0], process[0..1]} -> Q11).
