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

• 作者: 宋丽梅 朱爱红 马欣宇
• 来源期刊: 华侨大学学报（自然科学版）
• 关键词: 中国列车运行控制系统 有色Petri网 等级转换场景 动态属性
• 年，卷（期）: 2018,（4）
• 页码范围: 606-610
• 页数: 5页
• 分类号: TP393|U283
• 语种: 中文
• DOI: 10.11830/ISSN.1000-5013.201711014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱爱红	兰州交通大学自动化与电气工程学院	11	53	4.0	7.0
2	宋丽梅	兰州交通大学自动化与电气工程学院	4	12	2.0	3.0
3	马欣宇		2	1	1.0	1.0