-- st1はすぐに再試行するが，st2は一度リセットしたら少しの間 idle に留まるように強制する
next(st2) := 
　case st2 = idle & st1 = idle : {idle, wanting}; -- st1が休んでいる時だけ狙う 
　　　st2 = wanting & r2 = 2 & r1 = 2 : working; 
　　　st2 = wanting & r2 = 2 & r1 = 1 : idle;
　　　st2 = working : idle; 
　　　TRUE : st2; 
　esac;
