列車通過車站過程建模及應用

摘要：在計算機聯鎖系統中，聯鎖表表示車站信號各個設備之間的聯鎖關系，編制正確的聯鎖表至關重要。提出一種利用有色Petri網(CPN)對列車通過車站的過程進行建模，并利用模型自動生成聯鎖表的方法。利用CPN建立列車通過無道岔區段模型和列車通過有道岔區段模型，在這兩個模型的基礎上，建立列車通過車站模型。基于CPN tools的狀態空間分析工具和模型中包含的聯鎖關系，研究CPN模型自動生成聯鎖表的方法。該方法可以提高對列車通過車站過程建模和生成聯鎖表的效率和準確性。