列車(chē)通過(guò)車(chē)站過(guò)程建模及應(yīng)用

摘要：在計(jì)算機(jī)聯(lián)鎖系統(tǒng)中，聯(lián)鎖表表示車(chē)站信號(hào)各個(gè)設(shè)備之間的聯(lián)鎖關(guān)系，編制正確的聯(lián)鎖表至關(guān)重要。提出一種利用有色Petri網(wǎng)(CPN)對(duì)列車(chē)通過(guò)車(chē)站的過(guò)程進(jìn)行建模，并利用模型自動(dòng)生成聯(lián)鎖表的方法。利用CPN建立列車(chē)通過(guò)無(wú)道岔區(qū)段模型和列車(chē)通過(guò)有道岔區(qū)段模型，在這兩個(gè)模型的基礎(chǔ)上，建立列車(chē)通過(guò)車(chē)站模型。基于CPN tools的狀態(tài)空間分析工具和模型中包含的聯(lián)鎖關(guān)系，研究CPN模型自動(dòng)生成聯(lián)鎖表的方法。該方法可以提高對(duì)列車(chē)通過(guò)車(chē)站過(guò)程建模和生成聯(lián)鎖表的效率和準(zhǔn)確性。