本发明属于高速铁路延续进路安全防护技术领域，特别涉及一种基于Petri网的铁路车站延续进路防护系统及站点部署方法。本发明的技术方案通过引入离散事件系统建模的方法，采用形式化验证对延续进路的防护进行Petri网建模，建立相应的延续进路防护资源分配约束模型，采用形式化验证的方法，进行列车运行安全性验证。本申请的技术方案可以对站内延续进路排列的安全性进行核查，通过被标记的故障库所的含义可以对不可行的延续进路排列报错，并并给出可行的替代方案，提升列车延续进路防护的安全性，确保列车在站内的安全运行。