[1]宋丽梅,朱爱红,马欣宇.采用有色Petri网的等级转换场景概念建模[J].华侨大学学报(自然科学版),2018,39(4):606-610.[doi:10.11830/ISSN.1000-5013.201711014]
　SONG Limei,ZHU Aihong,MA Xinyu.Concept Model for Level Trasition Scene Using Colored Petri Net[J].Journal of Huaqiao University(Natural Science),2018,39(4):606-610.[doi:10.11830/ISSN.1000-5013.201711014]
点击复制

采用有色Petri网的等级转换场景概念建模()
分享到：

《华侨大学学报（自然科学版）》[ISSN:1000-5013/CN:35-1079/N]

卷:
第39卷
期数:
2018年第4期
页码:
606-610
栏目:
出版日期:
2018-07-18

文章信息/Info

Title:
Concept Model for Level Trasition Scene Using Colored Petri Net
文章编号:
1000-5013(2018)04-0606-05
作者:
宋丽梅1;  朱爱红1;  马欣宇2
1. 兰州交通大学 自动化与电气工程学院, 甘肃 兰州 730070;2. 中国水利水电第四工程局有限公司, 青海 西宁 810000
Author(s):
SONG Limei1;  ZHU Aihong1;  MA Xinyu2
1. School of Automation and Electrical Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China; 2. China Water Conservancy and Hydropower Engineering Bureau Fourth Company Limited, Xining 810000, China
关键词:
中国列车运行控制系统;  有色Petri网;  等级转换场景;  动态属性
Keywords:
Chinese train control system;  colored Petri net;  level transition scene;  dynamic properties
分类号:
TP393;U283
DOI:
10.11830/ISSN.1000-5013.201711014
文献标志码:
A
摘要:
为了使系统与模型达到一致性,在C2级向C3级转换的过程中,采用有色Petri网对其进行建模.采用自动验证工具(CPN Tools)对模型性能、系统等级转换功能及相关动态属性进行验证,完成对所建模型的确认.对提取到的模型运行数据进行MATLAB仿真,结果表明:搭建的C2级转换到C3级模型能够达到规定的要求;列车以不同速度进行等级转换时,行车速度越高,列车转化时间越短;在C2级控车模式下,以其顶棚速度250 km·h-1进行转换,相比Petri网建模,转换成功率可提高0.1%.
Abstract:
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%.

参考文献/References:

[1] 张友兵,唐涛.基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析[J].铁道学报,2012,34(7):49-55.DOI:10.3969/j.issn.1001-8360.2012.07.008.
[2] LIU Jintao,TANG Tao,ZHAO Lin,et al.Functional safety analysis method for CTCS level 3 based on hybrid automata[C]//IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.Shenzhen:IEEE Computer Society,2012:7-12.DOI:10.1109/ISORCW.2012.12.
[3] TROWITZSCH J,ZIMMERMANN A.Using UML state machines and petri nets for the quantitative investigation of ETCS[C]//Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools.New York:ACM,2006:34.DOI:10.1145/1190095.1190138.
[4] Lü Jidong,TANG Tao.Formal modeling and analysis of RBC subsystem in CTCS level 3 using UPPAAL[C]//WRI World Congress on Computer Science and Information Engineering.Los Angeles:IEEE Press,2009:49-53.DOI:10.1109/CSIE.2009.49.
[5] ALUR R,ETESSAMI K,YANNAKAKIS M.Inference of message sequence charts[J].IEEE Transactions on Software Engineering,2003,29(7):623-633.DOI:10.1109/TSE.2003.1214326.
[6] GERMAN R,KELLING C,ZIMMERMANN A,et al.Time NET: A toolkit for evaluating non-Markovian stochastic petri nets[C]//International Workshop on Petri Nets and Performance Models.Durham:IEEE Press,1995:210-211.DOI:10.1109/PNPM.1995.524333.
[7] 王建.基于随机Petri网的高铁列控系统C2/C3等级转换过程建模及仿真[D].成都:西南交通大学,2015.
[8] 梁楠,王海峰.基于SPN的CTCS-3级列控系统RBC实时性能分析[J].铁道学报,2011,33(2):67-71.DOI:10.3969/j.issn.1001-8360.2011.02.011.
[9] 康仁伟,王俊峰,吕继东.基于UPPAAL的高铁列控系统等级转换过程建模与验证[J].北京交通大学学报,2012,36(6):63-67.DOI:10.3969/j.issn.1673-0291.2012.06.012.
[10] 曹源.高速铁路列车运行控制系统的形式建模与验证方法研究[D].北京:北京交通大学,2011.
[11] 赵晓宇,程瑞军,程雨,等.基于HUML的列控系统形式化建模与参数分析方法[J].铁道学报,2016,38(11):80-87.DOI:10.3969/j.issn.1001-8360.2016.11.012.
[12] 刘金涛,唐涛,赵林,等. 基于UML模型的CTCS-3级列控系统功能安全分析方法[J]. 铁道学报,2013,35(10):59-66.DOI:10.3969/j.issn.1001-8360.2013.10.009.
[13] 赵林,唐涛,刘金涛,等.基于UML扩展机制的列控系统建模方法研究[J].铁道学报,2012,34(12):64-70.DOI:10.3969/j.issn.1001-8360.2012.12.010.
[14] 吴建锋,汪毅.UML的供应链订单管理系统分析与设计[J].华侨大学学报(自然科学版),2003,24(2):213-217.DOI:10.3969/j.issn.1000-5013.2003.02.019
[15] 张友兵.基于CPN的CTCS-3级列控系统RBC切换的建模与分析[D].北京:北京交通大学,2010:2-4.
[16] 韩福荣.基于时间有色Petri网的联锁软件的形式化建模与分析[D].上海:同济大学,2007:1-9.
[17] 李伟.基于有色Petri网的无线闭塞中心子系统切换建模与验证[D].北京:北京交通大学,2009:40-53.
[18] 徐田华,赵红礼,唐涛.基于有色Petri网的ETCS无线通信可靠性分析[J].铁道学报,2008,30(1):38-42.DOI:10.3321/j.issn:1001-8360.2008.01.007.

备注/Memo

备注/Memo:
收稿日期: 2017-11-03
通信作者: 朱爱红(1969-),女,副教授,主要从事交通信息工程及控制的研究.E-mail:zhuaihong2013@126.com.
基金项目: 国家自然科学基金资助项目(61661027)
更新日期/Last Update: 2018-07-20