[1] 中华人民共和国交通运输部.2020年8月中心城市客运量[EB/OL].[2021-04-15].http://xxgk.mot.gov.cn/2020/jigou/zhghs/202009/t20200921_3468093.html. Ministry of Transport of the People's Republic of China.Centre city traffic on august of 2020[EB/OL].[2021-04-15].http://xxgk.mot.gov.cn/2020/jigou/zhghs/202009/t20200921_3468093.html.(in Chinese) [2] 何天健, 柏赟, 蔡浩, 等.城市轨道交通系统的运营服务可靠性研究[J].交通运输系统工程与信息, 2015, 15(6):1-5, 45. HO T K, BAI Y, CAI H, et al.Service reliability of urban rail systems[J].Journal of Transportation Systems Engineering and Information Technology, 2015, 15(6):1-5, 45.(in Chinese) [3] 王玘, 林圣, 杨健维, 等.基于网络分析法的高铁牵引供电系统维修方式决策[J].铁道学报, 2016, 38(1):18-27. WANG Q, LIN S, YANG J W, et al.Maintenance mode decision for traction power supply system of high-speed railway based on analytic network process[J].Journal of the China Railway Society, 2016, 38(1):18-27.(in Chinese) [4] 沈碧波, 佘维, 叶阳东, 等.一种基于TC-CPN的城轨列车车门故障溯因诊断方法[J].铁道学报, 2016, 38(4):51-58. SHEN B B, SHE W, YE Y D, et al.An abductive diagnosis method for urban rail train door faults based on cyber Petri net of time constraint[J].Journal of the China Railway Society, 2016, 38(4):51-58.(in Chinese) [5] BOUDI Z, AIT WAKRIME A, COLLART-DUTILLEUL S, et al.Introducing B-sequenced Petri nets as a CPN sub-class for safe train control[C]//Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering.Heraklion, Crete, Greece:SCITEPRESS-Science and Technology Publications, 2019:350-358. [6] HAN J J, HE T.Modeling and verification of CTCS-3 on-board equipment based on colored Petri net[C]//Proceedings of the 4th International Conference on Communication, Image and Signal Processing.Phuket, Thailand:IOP Publishing, 2019:1-10. [7] 江磊, 王小敏, 刘一骝, 等.基于动态贝叶斯网络的CTCS3-300T列控车载系统运行可靠性及可用性评估[J].铁道学报, 2020, 42(3):85-92. JIANG L, WANG X M, LIU Y L, et al.DBN-based operational reliability and availability evaluation of CTCS3-300T onboard system[J].Journal of the China Railway Society, 2020, 42(3):85-92.(in Chinese) [8] 汪小勇.轨道交通多制式冗余列车运行控制系统的可靠性研究[J].城市轨道交通研究, 2020, 23(S2):92-95. WANG X Y.Reliability analys is of multi-mode redundant control system for urban rail transit train operation[J].Urban Mass Transit, 2020, 23(S2):92-95.(in Chinese) [9] 汪小勇, 董德存, 欧冬秀.轨道交通多模车载信号系统设计[J].城市轨道交通研究, 2020, 23(10):62-66. WANG X Y, DONG D C, OU D X.Research on the design of multimode onboard signal system[J].Urban Mass Transit, 2020, 23(10):62-66.(in Chinese) [10] 刘烁, 陈俊杰.基于UML的CPN模型在软件测试中的应用[J].计算机工程, 2008, 34(3):119-121. LIU S, CHEN J J.Application of software testing based on CPN model derived from UML modes[J].Computer Engineering, 2008, 34(3):119-121.(in Chinese) [11] 刘经宇, 朱煜, 尹文生.基于CPN的嵌入式RTOS任务调度建模[J].计算机工程, 2010, 36(21):1-3. LIU J Y, ZHU Y, YIN W S.Embedded RTOS task schedule modeling based on CPN[J].Computer Engineering, 2010, 36(21):1-3.(in Chinese) [12] 陈旭, 徐中伟, 喻钢.基于有色Petri网的安全构件模型[J].计算机工程, 2008, 34(22):165-167. CHEN X, XU Z W, YU G.Safety-component model based on colored Petri net[J].Computer Engineering, 2008, 34(22):165-167.(in Chinese) [13] 周月明, 杜玉越, 刘伟.基于Petri网的容错系统分层建模[J].计算机工程, 2010, 36(2):39-41. ZHOU Y M, DU Y Y, LIU W.Layer modeling of fault-tolerant system based on Petri nets[J].Computer Engineering, 2010, 36(2):39-41.(in Chinese) [14] VERMA A, PATTANAIK K K.Multi-agent communication-based train control system for Indian railways:the behavioural analysis[J].Journal of Modern Transportation, 2015, 23(4):272-286. [15] WU D H, SCHNIEDER E.Scenario-based system design with colored Petri nets:an application to train control systems[J].Software & Systems Modeling, 2018, 17(1):295-317. [16] WU D H, SCHNIEDER E.Scenario-based modeling of the on-board of a satellite-based train control system with colored Petri nets[J].IEEE Transactions on Intelligent Transportation Systems, 2016, 17(11):3045-3061. [17] 杜军威, 徐中伟, 宋波.联锁逻辑形式化模型检验的研究[J].计算机工程, 2007, 33(15):33-35. DU J W, XU Z W, SONG B.Research on formal model checking of interlocking logic[J].Computer Engineering, 2007, 33(15):33-35.(in Chinese) [18] 陈勇.基于Petri网的列车控制系统建模分析与研究[D].成都:西南交通大学, 2006. CHEN Y.Modeling and analysis for train controlling system with Petri nets[D].Chengdu:Southwest Jiaotong University, 2006.(in Chinese) [19] 王亚涛.基于Petri网的城市轨道交通信号系统脆弱性研究[D].北京:北京交通大学, 2016. WANG Y T.Research on vulnerability of urban rail transit signaling system based on Petri net[D].Beijing:Beijing Jiaotong University, 2016.(in Chinese) [20] WANG R, ZHENG W, LIANG C, et al.An integrated hazard identification method based on the hierarchical Colored Petri Net[J].Safety Science, 2016, 88:166-179. [21] CHEN L J, SHAN Z Y, TANG T, et al.Performance analysis and verification of safety communication protocol in train control system[J].Computer Standards & Interfaces, 2011, 33(5):505-518. [22] DROŹDZIEL P, TARKOWSKI S, RYBICKA I, et al.Drivers'reaction time research in the conditions in the real traffic[J].Open Engineering, 2020, 10(1):35-47. |