1ETSI European Telecommunications Standards Institute.Gsm 09.02 (ets300 599):"digital cellular telecommunications system(phase 2) ; mobile application part (map) speciation", version 4.19.1[S]. 2000-12.
2Thomsen J M, Manggaard R.Analysis of GSM handover using coloured Petri nets[D].Department of Computer Science University of Aarhus Ny Munkegade 8000 Aarhus CDenmark,2003-01.
3Zimmermann A, Hommel G.A train control system case study in model-based real time system design[C]//Intemational Parallel and Distributed Processing Symposium, IEEE, 2003 : 118.
