Process:
	Req3
States:
	3
Transitions:
	Req3 = Q0,
	Q0	= ({move.e, pickupsuccess} -> Q0
		  |arrive.w -> Q1),
	Q1	= ({arrive.w, pickupsuccess} -> Q1
		  |move.e -> Q2),
	Q2	= (arrive.w -> ERROR
		  |pickupsuccess -> Q0
		  |move.e -> Q2).
