中文摘要：

为保证铁路联锁模型的安全性，在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法，动态地描述铁路联锁系统的安全性需求，并根据Petri网安全需求模型的可达标志图，提出一种能自动生成最小割集的算法。根据算法生成的最小割集，设计了一个联锁安全检测器，用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真，仿真结果表明联锁安全检测器能够保证模型的安全性。

英文摘要：

In order to ensure the safety of the railway interlocking system model, on the base of the method of fault tree analysis, this paper proposed a new method of establishing the fault tree with Petri net which could describe the interlocking system safety requirement dynamically. It also presented an algorithm to get the smallest cut sets automatically based on the reachable marking graph of the Petri net model. Furthermore, designed an interlocking safety detector to detect the interlocking system model whether was in a safe state. Finally, adopted CPN tools, a coloured Petri net simulation tool, to evaluate the safety of the model for interlocking system safety requirement. The simulation results show that the safety of the model can be guaranteed by the detector.