基于Petri網的分散式鐵路聯(lián)鎖系統(tǒng)研究.pdf

1、全分散式鐵路聯(lián)鎖系統(tǒng)強調設備在物理位置的分散，設備之間通過網絡互聯(lián)，聯(lián)鎖程序被包含在各個設備中，系統(tǒng)在進行進路辦理時需要實時正確的了解各設備狀態(tài)。因此，列車在全分散式鐵路聯(lián)鎖系統(tǒng)中并發(fā)運行時，會導致許多離散事件的并發(fā)和異步執(zhí)行產生的沖突和混淆，影響列車運行的安全性和可靠性。
　　 本文以列車安全的并發(fā)調度方法為研究對象，詳細分析了列車并發(fā)運行時引起設備沖突的原因。并利用給列車關聯(lián)優(yōu)先級屬性、設計各設備的處理邏輯和規(guī)范化設備之間通

2、信的消息格式和通信方式的方法初步得出分散式鐵路聯(lián)鎖系統(tǒng)中的列車并發(fā)調度方法。由于聯(lián)鎖系統(tǒng)是安全關鍵的系統(tǒng)，而形式化方法可以精確描述邏輯關系從而可以檢驗其安全性，本文采用Petri網對全分散式條件下設備處理進路過程進行建模和形式化分析。本文結合兩個具體的并發(fā)實例，建立了分散控制條件下的進路辦理模型。并利用隨機Petri網對該模型中表達的性能進行了分析，包括進路請求成功率、列車進站申請間隔等參數(shù)對車站通行能力及系統(tǒng)整體性能的影響，從而綜合評

3、價了全分散式條件下車站通行能力，為分散式條件下各設備的優(yōu)化設計提供了參數(shù)。然后，對并發(fā)條件下的進路辦理模型進行分析并將結果與單個進路進行了比較，得出其綜合效率得到了提高。
　　 論文最后基于本文所設計的各聯(lián)鎖設備處理流程，以及經過Petri網驗證了的并發(fā)調度模型，采用面向對象思想，設計并實現(xiàn)了一個分散式聯(lián)鎖仿真系統(tǒng)。經過連續(xù)的測試和運行，結果表明該系統(tǒng)能夠處理列車并發(fā)申請進路建立的要求，驗證了論文中提出的并發(fā)列車調度方案的可行性