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

Concept Model for Level Trasition Scene Using Colored Petri Net

作　　者：宋丽梅[1] 朱爱红[1] 马欣宇 SONG Limei;ZHU Aihong;MA Xinyu(School of Automation and Electrical Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China;China Water Conservancy and Hydropower Engineering Bureau Fourth Company Limited,Xining 810000,China)

机构地区：[1]兰州交通大学自动化与电气工程学院,甘肃兰州730070 [2]中国水利水电第四工程局有限公司,青海西宁810000

出　　处：《华侨大学学报（自然科学版）》2018年第4期606-610,共5页Journal of Huaqiao University(Natural Science)

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

摘　　要：为了使系统与模型达到一致性,在C2级向C3级转换的过程中,采用有色Petri网对其进行建模.采用自动验证工具(CPN Tools)对模型性能、系统等级转换功能及相关动态属性进行验证,完成对所建模型的确认.对提取到的模型运行数据进行MATLAB仿真,结果表明:搭建的C2级转换到C3级模型能够达到规定的要求;列车以不同速度进行等级转换时,行车速度越高,列车转化时间越短;在C2级控车模式下,以其顶棚速度250km·h-1进行转换,相比Petri网建模,转换成功率可提高0.1%.In order to achieve the consistency of system and model,using colored Petri net to model C2 to C3 level transition process.And using the automatic verification tool CPN Tools to verify the model performance,system level transition function and related dynamic attributes to complete the confirmation of the established model.Extracting model running data for MATLAB.Results show that the constructed C2 to C3 model can meet the requirements.When the trains are graded at different speeds,the higher the driving speed,the shorter the train transition time.In the C2 control mode,the transition rate is 250 km·h^-1 at the ceiling speed.Compared with Petri net modeling,the transition success rate is increased by 0.1%.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术] U283[自动化与计算机技术—计算机科学与技术]