%0 Journal Article
%T ???????Petri??????????????????
%A ????
%A ??????
%A ????÷
%J 华侨大学学报(自然科学版)
%D 2018
%R 10.11830/ISSN.1000-5013.201711014
%X 为了使系统与模型达到一致性,在C2级向C3级转换的过程中,采用有色Petri网对其进行建模.采用自动验证工具(CPN Tools)对模型性能、系统等级转换功能及相关动态属性进行验证,完成对所建模型的确认.对提取到的模型运行数据进行MATLAB仿真,结果表明:搭建的C2级转换到C3级模型能够达到规定的要求;列车以不同速度进行等级转换时,行车速度越高,列车转化时间越短;在C2级控车模式下,以其顶棚速度250 km？h-1进行转换,相比Petri网建模,转换成功率可提高0.1%.
%K ?й??г????п?????
%K ???Petri??
%K ??????????
%K ???????
%U http://www.hdxb.hqu.edu.cn/oa/DArticle.aspx?type=view&id=201804023