[1] |
张岩, 唐涛, 马连川 , 等. 基于交换式以太网安全通信协议的模型和仿真研究[J]. 铁道学报, 2010,32(3): 43-48. ZHANG Y , TANG T , MA L C , et al. Modeling and simulation of the security communication protocol based on the switched ethernet[J]. Journal of the China Railway Society, 2010,32(3): 43-48.
|
[2] |
邢震 . 基于交换式以太网列车通信网络的研究[D]. 北京:北京交通大学, 2013. XING Z . Research on Switched Ethernet Based on Train Communica-tion Network[D]. Beijing:Beijing Jiaotong University, 2013.
|
[3] |
周洁琼, 王立德, 王涛 , 等. 基于虚拟链路交换式以太网的列车通信网络可靠性分析[J]. 铁道学报, 2014,36(2): 55-61. ZHOU J Q , WANG L D , WANG T , et al. Analysis on reliability of train communication network based on virtual link switched Ethernet[J]. Journal of the China Railway Society, 2014,36(2): 55-61.
|
[4] |
周洁琼, 王立德, 王涛 , 等. 基于交换式以太网的列车通信网络的交换机排队时延分析[J]. 北京交通大学学报, 2014,38(2): 95-100. ZHOU J Q , WANG L D , WANG T , et al. Switch queuing delay of train communication network based on switched Ethernet[J]. Journal of Beijing Jiaotong University, 2014,38(2): 95-100.
|
[5] |
XIA M , LO K , SHAO S , et al. Formal modeling and verification for MVB[M]. Journal of Applied Mathematics, 2013,2013:1-12.
|
[6] |
ZHANG G , LIU M , YAO A . A coloured Petri net based formal verifi-cation methodology of MVB-TCN device[A]. 2010 International Conference on Intelligent Computation Technology and Automation (ICICTA)[C]. Changsha,China, 2010.46-49.
|
[7] |
BAGO M , PERIC N , MARIJAN S . Modeling wire train bus com-munication using timed colored Petri nets[A]. SICE Annual Confer-ence 2008[C]. Tokyo, 2008.2905-2910.
|
[8] |
LIU M , ZHANG G , YAO A . Extended Petri net based formal modeling and verification of WTB-TCN device[A]. 2010 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT)[C]. Chengdu,China, 2010.110-114.
|
[9] |
曹源, 唐涛, 徐田华 , 等. 形式化方法在列车运行控制系统中的应用[J]. 交通运输工程学报, 2010,10(1): 112-126. CAO Y , TANG T , XU T H , et al. Application of formal methods in train control system[J]. Journal of Traffic and Transportation Engi-neering, 2010,10(1): 112-126.
|
[10] |
GERMAN R , HEINDL A . Performance evaluation of IEEE 802.11 wireless LAN with stochastic Petri nets[A]. The 8th International Workshop on Petri Nets and Performance Models[C]. Zaragoza, 1999.44-53.
|
[11] |
ZIMMERMANN A , HOMMEL G . A train contro1 system case study in model—based rea1 time system design[A]. International Parallel and Distributed Processing Symposium[C]. Washington DC, 2003.118-126.
|
[12] |
CRUZ R . A calculus for network delay,part i:network elements in isolation[J]. IEEE Transactions on In Information Theory, 1991,(1):114-131.
|
[13] |
邢震, 康洪军, 马连川 , 等. 基于交换式以太网的TCN仿真研究及分析[J]. 铁道机车车辆, 2012,(5):1-5. XING Z , KANG H J , MA L C , et al. Analysis and simulation research on switched Ethernet based on train communication network[J]. Railway Locomotive &Car, 2012,(5):1-5.
|
[14] |
MOLLOY M K . Performance analysis using stochastic Petri nets[J]. IEEE Transactions on Computers, 1982,31(9): 913-917.
|
[15] |
JAIN R . The Art of Computer Systems Performance Analysis:Tech-niques for Experimental Design,Simulation and Modeling[M]. New York:Wiley-Inter science, 1991.
|
[16] |
ZIMMERMANN A , KNOKE M , HUCK A , et al. Towards version 4.0 of timeNET[A]. The 13th GI/ITG Conference on Measuring,Model-ling and Evaluation of Computer and Communication Systems[C]. GI/ITG,Germany, 2006.447-480.
|
[17] |
王永翔, 王立德 . 基于广义随机 Petri 网的MVB网络吞吐性能分析[J]. 北京交通大学学报, 2008,32(5): 98-101. WANG Y X , WANG L D . A GSPN-based throughput performance analysis of MVB[J]. Journal of Beijing Jiaotong University, 2008,32(5): 98-101.
|