2ETSI European Telecommunications Standards Institute. GSM 09.02[S].2000.
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.
4Real-Time Systems and Robotics Group of Technische Universiat Berlin,Germany [EB/OL] .http ://pdv.cs.tu-berlin.de/-timenet/.
5Zimmermann A, Freiheit J, German R, et al. Petri net modeling and performability evaluation with TimeNET 3.0 [C]. Schaumburg, Illinois, USA: 11 th Int Conf on Modeling Techniques and Tools for Computer Performance Evaluation, 2000: 188-202.
6Jonas Martin Thomsen And Rene Manggaard.Analysis of GSM handover using colored Petri nets[R].Department of Computer Science University of Aarhus Ny Munkegade 8000 Aarhus CDenmark,2003.
