【正文】 else NextState=WAIT。//無任何請求，繼續(xù)處于WAIT模式 end UP: begin if((request_allamp。pos)||(up_allamp。pos))//?？炕蛏仙埱笾杏挟斍皹菍拥恼埱蠓? NextState=UPSTOP。//有，下一狀態(tài)轉為UPSTOP(?？亢笠?s才開門,UPSTOP即為這1s的過渡期) else if((request_allpos)||(up_allpos))//停靠或上升請求中有當前樓層之上的請求否 NextState=UP。 else if(down_all0)//有下降請求否 begin if((down_allpos)amp。amp。((down_all^pos)pos))//下降請求中有當前樓層的請求否 NextState=UP。 else if((down_allamp。pos)||(posFLOOR6)) //其實這樣做意義不大，只是使上下標志提前變化 NextState=UPSTOP。 else if((down_allamp。pos)amp。amp。(pos==FLOOR6))//事實上不滿足第一條件的話，電梯根本不會到達第四層 NextState=DOWNSTOP。 else//下降請求中只有當前樓層之下的請求 NextState=DOWN。 end else if(request_all||up_all)//只有當前樓層之上的?？炕蛏仙埱蠓? NextState=DOWN。 else NextState=WAIT。//無任何請求，轉為WAIT模式 end //DOWN的狀態(tài)轉移請參見UP的狀態(tài)轉移 DOWN: begin if((request_allamp。pos)||(down_allamp。pos)) NextState=DOWNSTOP。 else if(((request_allamp。FLOOR1)posamp。amp。(request_allamp。FLOOR1))||((request_allamp。FLOOR2)posamp。amp。(request_allamp。FLOOR2))||((request_allamp。FLOOR3)posamp。amp。(request_allamp。FLOOR3))||((request_allamp。FLOOR4)posamp。amp。(request_allamp。FLOOR4))||((request_allamp。FLOOR5)posamp。amp。(request_allamp。FLOOR5))||((request_allamp。FLOOR6)posamp。amp。(request_allamp。FLOOR6))) NextState=DOWN。 else if(((down_allamp。FLOOR1)posamp。amp。(down_allamp。FLOOR1))||((down_allamp。FLOOR2)posamp。amp。(down_allamp。FLOOR2))||((down_allamp。FLOOR3)posamp。amp。(down_allamp。FLOOR3))||((down_allamp。FLOOR4)posamp。amp。(down_allamp。FLOOR4))||((down_allamp。FLOOR5)posamp。amp。(down_allamp。FLOOR5))||((down_allamp。FLOOR6)posamp。amp。(down_allamp。FLOOR6))) NextState=DOWN。 else if(up_all0) begin if(((up_allamp。FLOOR1)posamp。amp。(up_allamp。FLOOR1))||((up_allamp。FLOOR2)posamp。amp。(up_allamp。FLOOR2))||((up_allamp。FLOOR3)posamp。amp。(up_allamp。FLOOR3))||((up_allamp。FLOOR4)posamp。amp。(up_allamp。FLOOR4))||((up_allamp。FLOOR5)posamp。amp。(up_allamp。FLOOR5))||((up_allamp。FLOOR6)posamp。amp。(up_allamp。FLOOR6))) NextState=DOWN。 else if((up_allamp。pos)amp。amp。(posFLOOR1)) NextState=DOWNSTOP。 else if((up_allamp。pos)amp。amp。(pos==FLOOR1)) NextState=UPSTOP。 else NextState=UP。 end else if(request_all||down_all) NextState=UP。 else NextState=WAIT。 end UPSTOP: begin NextState=OPENDOOR。//?？?時鐘周期后開門 end DOWNSTOP: begin NextState=OPENDOOR。//?？?時鐘周期后開門 end OPENDOOR: begin if(count5)//開門不足5周期，則繼續(xù)轉移到開門狀態(tài) NextState=OPENDOOR。 else NextState=CLOSEDOOR。//開門5周期后，關門 end CLOSEDOOR: begin if(UpDnFlag==UPFLAG)//開門關門前電梯是處于上升狀態(tài)嗎 begin if((request_allamp。pos)||(up_allamp。pos))//上升或?？空埱笾杏挟斍皹菍拥恼埱蠓?，有可能關門的瞬間又有新的請求 NextState=OPENDOOR。 else if((request_allpos)||(up_allpos))//上升或?？空埱笾杏挟斍皹菍又系恼埱蠓? NextState=UP。 else if(down_all0)//有下降請求否 begin if((down_allpos)amp。amp。((down_all^pos)pos)) NextState=UP。//有當前樓層之上的下降請求，則下一狀態(tài)轉移上升 else if((down_allamp。pos)0)//有當前樓層的下降請求信號，且更上層無下降請求 NextState=OPENDOOR。 else//只有低于當前層的下降請求 NextState=DOWN。 end else if(request_all||up_all)//上升和?？空埱笾杏挟斍皩拥恼埱笄抑挥挟斍皩酉碌恼埱? NextState=DOWN。 else NextState=WAIT。//無任何請求，轉為WAIT模式 end //請參考UpDnFlag=UPFLAG的注釋 else if(UpDnFlag==DNFLAG) begin if((request_allamp。pos)||(down_allamp。pos)) NextState=OPENDOOR。 else if(((request_allamp。FLOOR1)posamp。amp。(request_allamp。FLOOR1))||((request_allamp。FLOOR2)posamp。amp。(request_allamp。FLOOR2))||((request_allamp。FLOOR3)posamp。amp。(request_allamp。FLOOR3))||((request_allamp。FLOOR4)posamp。amp。(request_allamp。FLOOR4))||((request_allamp。FLOOR5)posamp。amp。(request_allamp。FLOOR5))||((request_allamp。FLOOR6)posamp。amp。(request_allamp。FLOOR6))) NextState=DOWN。 else if(((down_allamp。FLOOR1)posamp。amp。(down_allamp。FLOOR1))||((down_allamp。FLOOR2)posamp。amp。(down_allamp。FLOOR2))||((down_allamp。FLOOR3)posamp。amp。(down_allamp。FLOOR3))||((down_allamp。FLOOR4)posamp。amp。(down_allamp。FLOOR4))||((down_allamp。FLOOR5)posamp。amp。(down_allamp。FLOOR5))||((down_allamp。FLOOR6)posamp。amp。(down