[發明專利]一種基于Petri網的車站聯鎖進路防護系統及站點部署方法

在審

• 申請號: 202210974663.8
• 申請日: 2022-08-15
• 公開（公告）號: CN115358033A
• 公開（公告）日: 2022-11-18
• 發明（設計）人: 王陸睎;朱明;陳德偉;楊崗;王學林;劉立峰;楊城;徐治學;謝寶軍;張維;葛滿強;程憶佳
• 申請（專利權）人: 中鐵二院工程集團有限責任公司
• 主分類號: G06F30/18
• 分類號: G06F30/18;G06F30/22
• 代理公司: 四川力久律師事務所 51221
• 代理人: 陳明龍

1.一種基于時延Petri網的鐵路車站聯鎖進路防護系統，其特征在于，所述車站進路防護系統包括基于時延Petri網的目標站綜合模型，所述目標站綜合模型包括排列進路模型和故障診斷模型；其中，軌道區段對應Petri網的庫所，列車出清對應軌道區段時間對應Petri網的變遷延時，列車對應Petri網的托肯；

所述目標站綜合模型根據鐵路上行運行方向和下行運行方向分別建立，并且所述目標站綜合模型用于對動態的列車在對應目標站的接車進站和發車進站事件進行模擬；

所述排列進路模型用于仿真模擬列車在站內軌道區段的接車進路過程和發車進路過程；

所述故障診斷模型用于對不能按計劃進行發車進路的事件進行報錯。

2.根據權利要求1所述的基于時延Petri網的鐵路車站聯鎖進路防護系統，其特征在于，所述故障診斷模型對不能按計劃進行發車進路的事件進行報錯后，所述目標站綜合模型用于接收調整后的列車運行計劃并進行模擬。

3.根據權利要求1所述的基于時延Petri網的鐵路車站聯鎖進路防護系統，其特征在于，所述時延Petri網的定義為：

設一個時延Petri網為N＝(P,T,F,M,DI)，其中DI是定義在變遷上的時間函數：DI:T→R₀，R₀取值為非負實數；其物理含義為必須經過a個單位時間的時長的消耗變遷t才會發射，即當某一標識滿足條件M[t后，經過a個單位時間，其輸出弧所連接的變遷就會發射，變遷的延時不是瞬時過程但發射行為是瞬時過程；

所述目標站綜合模型中涉及的庫所、變遷含義如下表所示：

4.根據權利要求2所述的基于時延Petri網的鐵路車站聯鎖進路防護系統，其特征在于，所述排列進路模型運行規則具體為：

選取目標車站I股道相關進路，所述I股道包括接車進路區段和發車進路區段；

列車接車進路過程包括經過n個道岔區段DG；

列車在I股道的站臺停靠時間結束后，進入發車進路的n個道岔區段DG；定位至出站，當列車出清終點軌道區段后，所述I股道發車進路的資源占用結束；所述排列進路模型中，對于多條進路共用相同的軌道區段情況，當列車進入不同的股道停靠時，需要共用接車進路或發車進路的道岔區段資源的占用權釋放，才可以建立新的列車的接車進路或發車進路。