计算机联锁系统是车站信号控制系统，是保证列车安全运行的关键设备之一，计算机联锁系统作为安全性要求比较苛刻的系统，其自身开发过程的安全性和可靠性是设计的关键，因此在软件的开发过程中，必须要有一套完整的建模工具和验证方法满足其安全性和有效性。本文以城市轨道交通的联锁系统为研究对象进行仿真研究。通过对比国铁和城市轨道交通联锁系统的异同点，明确满足城市轨道交通联锁的功能需求，采用集成建模方法对进路的各个过程进行分析研究，首先采用UML(UnifiedModeling Language,统一建模语言)进行系统软件的建模，由于UML没有自己的验证工具，因此必须采用UML转换为CPN(Colored Petri Nets,有色Petri网)的基本规则，将建立的UML模型转换为Petri网模型进行研究。为了验证建立模型的正确性以及该建模方法的有效性，将进路基本过程的功能需求进行深入研究分析，采用UML的用例、活动图等对其功能需求进行描述，进而转换为相应的Petri网模型，采用CPN Tools验证工具对建立的模型的正确性进行验证，选取了进路的选排过程作为代表进行研究，验证的结果表明：该Petri模型满足城市轨道交通运营的特点。利用CPN Tools验证工具对建立的Petri网模型进行正确性验证后，依据软件开发的“V”子模型，对联锁系统的各个功能过程进行从概要到细化的过程分析，根据进路过程的模型分析，画出相对应的流程图，指导后续的以VC++为编程工具来模拟进路的基本联锁功能。根据软件的设计方案，以VC++为编程工具来实现城市轨道交通的联锁功能，并对进路的建立、解锁以及适用于城市轨交通运营的特殊功能，如跳停、屏蔽门的开门等进行模拟仿真，仿真实验表明，该联锁系统可以满足城市轨道交通运营的运行要求。