摘要：高速磁浮列乍运行控制系统的中枢是分区运行控制系统。磁悬浮列车对安全防护的要求非常苛刻,对系统的可靠性和安全性有极高的要求。分区运行控制系统是实行该苛求的关键子系统之论文首先分析了分区运行控制系统的结构和功能。然后在此基础上,本文使用有色Petri网对分区的运行控制系统进行了建模工作。论文的主要工作如下：第一,研究了高速磁悬浮列车目前在国内的研究情况和有色Petri网在铁路系统建模中的应用情况；第二,分析了分区运行控制系统中的分区故障诊断计算机、分区控制计算机、分区安全计算机、分区牵引切断和分区道岔模块的详细功能,总结出各个功能的主要步骤,绘制出各个功能的时序图,并在此基础上定义了各个子模块的不同状态,给出了状态切换图。利用CPN Tools工具和已给出的状态切换图,以每一个子模块为单元进行有色Petri网的层次建模；第三,针对列车一次完整的运行过程,详细分析了分区运行控制系统在此过程中所需要执行的任务,任务执行的顺序；分析了分区运行控制系统与中央控制系统、车载控制系统和牵引控制系统之间交互的命令。在此基础上,总结出列车运行过程中的主要步骤,绘制出列车运行过程的时序图,并在时序图的基础上定义了分区运行控制系统、中央运行控制系统和车载运行控制系统的不同状态,给出了它们在列车运行过程中的状态图。利用CPN Tools工具和已给出的切换状态图,建立了列车一次完整运行的CPN层次模型,生成了测试路径和测试用例,并对生成的测试用例进行评价,对未来的研究工作打下基础。