Process:
	NO_ENTER_FEED
States:
	4
Transitions:
	NO_ENTER_FEED = Q0,
	Q0	= ({move[0..1], {moveFeed, putsuccess}} -> Q0
		  |moveOut -> Q1
		  |{reqA, reqB} -> Q2),
	Q1	= ({move[0..1], moveFeed} -> Q0
		  |{moveOut, putsuccess} -> Q1
		  |{reqA, reqB} -> Q3),
	Q2	= (moveFeed -> ERROR
		  |{move[0..1], {putsuccess, reqA, reqB}} -> Q2
		  |moveOut -> Q3),
	Q3	= (moveFeed -> ERROR
		  |putsuccess -> Q1
		  |move[0..1] -> Q2
		  |{moveOut, reqA, reqB} -> Q3).
