基于GSM-R／CTCS的列车控制系统形式化描述和建模

GSM-R/CTCS的CTCS4级标准是一种基于移动闭塞系统和无线通信的列车控制系统，该标准的实施能够缩短列车之间的追踪间隔距离，提高区间通过能力，适合各种类型、各种速度的列车使用，其中无线通信是关键技术。考虑GSM-R出现的通信问题，给出Petri网表示的列车与地面设备无线通信模型和系统行为描述。