5Zimmerrnann A, Freiheit J, German R, et al. Petri net modelling and performability evaluation with TimeNET 3. 0C] // LNCS 1786. 2009 : 188-202.
6Bernardi S, Donatelli S, Merseguer J. From UML sequence dia- grams and statecharts to analysable Petri net models[C]//Pro- ceedings of the Third International Workshop on Software and Performance (WOSP2002). Rome, Italy, ACM,July 2008 : 35-45.
7Ciardo G, Lindemann C. Analysis of deterministic and stochastic Petri nets[J]. Performance Evaluation, 1993,8(8) : 160-169.
83rd Generation Partnership Projeet,GSM 04. 08 v6. 13. ORS]. Mobile Radio Interface Signaling Layer 3 Specification.
