Title :
Petri net modelling and analysis of mobile communication protocols UMTS, LTE, GPRS and MANET
Author :
Singh, Sushil ; Singh, Gagan ; Lakshmi Narasimhan, V. ; Pabla, Harcharan Singh
Author_Institution :
Dept. of Comput. Sci. & Eng., Gyan Vihar Univ., Jaipur, India
Abstract :
Petri net is a powerful modelling and analysis mechanism, which facilitates a smart way to understand events and dynamic systems. This paper provides an analysis of several generations of mobile network systems, namely, UMTS, LTE, GPRS and MANET using Petri net. The detailed analysis shows that these protocols are robust, bounded and deadlock free.
Keywords :
3G mobile communication; Long Term Evolution; Petri nets; cellular radio; mobile ad hoc networks; mobile communication; protocols; GPRS; LTE; MANET; Petri net modelling; UMTS; mobile communication protocols; mobile network systems; 3G mobile communication; Analytical models; Mobile ad hoc networks; Petri nets; Protocols; System recovery; GPRS; LTE; MANET; Petri net; UMTS;
Conference_Titel :
Computer Communication and Informatics (ICCCI), 2014 International Conference on
Conference_Location :
Coimbatore
Print_ISBN :
978-1-4799-2353-3
DOI :
10.1109/ICCCI.2014.6921780
