随着无线通信技术的飞速发展,无线通信的可靠性、可用性大大提高,基于通信的列车运行控制系统(Communication Based Train Control System,CBTC)成为当今轨道交通列车运行控制系统的发展趋势。CBTC系统是连续的自动列车控制系统,它通过高精度的列车定位技术和不间断的车地通信,通过提供更精确的列车控制、持续的列车安全分隔和超速防护,使得列车可以在更短的运行间隔内实行安全运行。在CBTC系统中,轨旁设备区域控制中心在保证列车安全运行方面发挥着重要作用,它能够实时的与其它子系统进行进行交互,通过为列车提供移动授权来管理列车的运行。因此区域控制中心对于列车进行合理的安全的管理具有非常重要的意义。本文从研究区域控制中心的列车管理入手,依照系统功能需求,从结构、状态和流程等多角度详细阐述了列车运行管理的原理。根据管理列车的目的重点介绍了多车运行管理的具体过程。本文采用基于层次时间有色Petri网的形式化建模方法,分析了系统建模的可行性并对区域控制中心列车管理过程构建了顶层,数据信息交互层和MA计算层的三层模型。在对系统模型进行改进与简化的基础上对模型予以仿真运行,通过基于状态空间的分析方法从不同角度验证了模型设计的合理性与数据传输的正确性,有助于构建功能更加完善的区域控制中心系统模型,也为区域控制中心系统的软件实现提供了理论依据。