基于UPPAAL仿真软件的CTCS-3级行车许可研究，行车许可在保障列车安全有效运行方面发挥着极其重要的作用，这篇文章是基于UPPAAL仿真软件的CTCS-3级行车许可研究。