3Jonas Martin Thomsen. Analysis of GSM Handover using Coloured Petri Nets [D]. Denmark:University of Aarhus, 2003.
4Ashutosh Dutta, Bryan Lyles. Generalized Modeling Framework for Handoff Analysis [C]//the 18th Annual IEEE international Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC'07), 2007.
5Armin Zimmermann, Gunter Hommel. A Train Control System Case Study in Model-Based Real Time System Design [C]// Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS'03), 2003.
6Jonathan Billington, Michel Diaz, Grzegorz Rozenberg. Application of Petri Nets to Communication Networks [M]. Berlin:Springer verlag, 1999.
7铁道部科技司.CTCS-3级车载子系统功能(讨论稿)[Z].北京:铁道部科技司,2007.
8铁道部科技司.GSM-R数字移动通信网技术体制(暂行)[Z].北京:铁道部科技司,2006.
9ERTMS. Euroradio FFFIS Class 1 requirements Version 2.0.0 [S]. ERTMS User's Group, 2000.
10Chang Yu Wang, D Logothetis, K S Trivedi, I Viniotis Transient Behavior of ATM [C]//Networks under Over loads Proceedings of the IEEE (INFOCOM 96), 1996.
