基于有色Petri网的区域控制器子系统切换功能建模

致谢	第1-6页
中文摘要	第6-7页
ABSTRACT	第7-10页
1 引言	第10-22页
·研究背景——CBTC技术的发展	第10-13页
·PETRI网建模理论	第13-17页
·Petri网技术的起源以及发展	第14-15页
·有色Petri网的基本介绍	第15-17页
·课题的目标及工作背景	第17-20页
·本文的研究内容与论文的组织结构	第20-22页
·论文的研究内容	第20页
·论文的组织	第20-22页
2 CBTC区域控制子系统介绍及原理分析	第22-34页
·CBTC系统原理	第22页
·CBTC系统结构及各部分功能概述	第22-25页
·区域控制器子系统原理	第25-34页
·ZC的设计原理	第25页
·ZC与其他子系统的关系	第25-27页
·ZC的主要功能	第27-29页
·ZC的切换功能需求	第29-30页
·控区切换过程	第30-32页
·切换过程的重要信息标示位——HANDOVER	第32-34页
3 CPN工具对区域控制子系统应用建模	第34-56页
·CPN建模工具CPN Tools	第34-36页
·区域控制器子系统顶层模型	第36-40页
·切换过程建模	第40-56页
·分层PETRI网建立切换标志位转移模型	第40-45页
·数据库版本的比较更新过程模型	第45-48页
·车头过边界点时预登录ZC2的过程模型	第48-49页
·后端过边界点列车注销ZC1,登录ZC2模型	第49-51页
·切换ZC的工作	第51-53页
·移交ZC与接管ZC的赋时切换模型	第53-56页
4 系统模型的性能分析与功能验证	第56-71页
·用并发图状态空间理论对模型性能分析、验证	第56-60页
·分析验证ZC切换时系统稳定性和功能正确性	第60-67页
·用赋时Petri网分析切换过程时间性能	第67-71页
5 结论及展望	第71-73页
·结论	第71页
·展望	第71-73页
参考文献	第73-75页
作者简历	第75-77页
学位论文数据集	第77页