DocumentCode
117002
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
fYear
2014
fDate
3-5 Jan. 2014
Firstpage
1
Lastpage
9
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Communication and Informatics (ICCCI), 2014 International Conference on
Conference_Location
Coimbatore
Print_ISBN
978-1-4799-2353-3
Type
conf
DOI
10.1109/ICCCI.2014.6921780
Filename
6921780
Link To Document