采用有色Petri网的等级转换场景概念建模

摘要：

为了使系统与模型达到一致性,在C2 级向C3 级转换的过程中,采用有色Petri 网对其进行建模.采用自动验证工具(CPN Tools)对模型性能、系统等级转换功能及相关动态属性进行验证,完成对所建模型的确认.对提取到的模型运行数据进行MATLAB仿真,结果表明:搭建的C2 级转换到C3 级模型能够达到规定的要求;列车以不同速度进行等级转换时,行车速度越高,列车转化时间越短;在C2 级控车模式下,以其顶棚速度250 km·h-1进行转换,相比Petri网建模,转换成功率可提高0.1%.

关键词：中国列车运行控制系统、有色Petri网、等级转换场景、动态属性

所属期刊栏目：39

分类号：TP393;U283(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61661027

在线出版日期：2018-08-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：606-610