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