基于Petri網(wǎng)的電梯群控系統(tǒng).pdf

1、隨著社會的進(jìn)步及人們?nèi)找鎸ξ镔|(zhì)文化的需要，電梯作為一種便捷的交通工具在人們的生活中已凸顯出不可或缺的作用。在不斷更新的電梯系統(tǒng)中，要求各電梯子系統(tǒng)之間必須具有良好的協(xié)調(diào)性以方便人們對電梯的使用。此外，為了提高電梯系統(tǒng)的使用效率，使得作為電梯中樞的電梯群控系統(tǒng)在整個(gè)電梯系統(tǒng)中所占據(jù)的地位極為重要。為了從各方面提高電梯的服務(wù)效率，如何有效地采用形式化模擬及驗(yàn)證技術(shù)對模型進(jìn)行形式化模擬及驗(yàn)證是亟待解決的問題之一。已有的眾多解決方案都僅僅是基于

2、某一具體功能模塊設(shè)計(jì)的，極少針對整體系統(tǒng)進(jìn)行設(shè)計(jì)。不僅如此，它們還缺少對系統(tǒng)有效性的形式化描述。對于大型系統(tǒng)的軟件開發(fā)，形式化開發(fā)是保證系統(tǒng)的有效性及準(zhǔn)確性的一種重要軟件開發(fā)方法。從電梯系統(tǒng)高安全性出發(fā)，由于形式化驗(yàn)證的不完備性，常常輔之以數(shù)據(jù)仿真。
　　Petri網(wǎng)是一種強(qiáng)大的適用于離散系統(tǒng)的數(shù)學(xué)建模工具，它不僅能夠很好地刻畫異步并發(fā)，還具備良好的圖形表示能力，更有著嚴(yán)密的數(shù)學(xué)理論作為支撐。從60年代誕生至今，發(fā)展歷經(jīng)40余載，

3、從其得以廣泛的應(yīng)用足以彰顯其強(qiáng)大的建模及模型驗(yàn)證能力。本文在充分了解國內(nèi)外電梯發(fā)展的概況及電梯群控技術(shù)的各種算法及優(yōu)劣性后，引入Petri網(wǎng)這一形式化數(shù)學(xué)建模工具直觀地描述離散事件系統(tǒng)的各種關(guān)系與行為及對電梯群控系統(tǒng)進(jìn)行了建模分析。
　　其次，分析了電梯的運(yùn)行行為和規(guī)則，使用Petri網(wǎng)這一建模工具給出了電梯群控系統(tǒng)的有效模型。該模型除了整體設(shè)計(jì)外還包括電梯低速與高速的切換以及根據(jù)現(xiàn)有交通模式切換不同停留模式的實(shí)現(xiàn)細(xì)節(jié),還可以根據(jù)