Petri net modelling and analysis of mobile communication protocols UMTS, LTE, GPRS and MANET

2014 International Conference on Computer Communication and Informatics Pub Date : 2014-10-16 DOI:10.1109/ICCCI.2014.6921780

Sukhdeep Singh, Gurpal Singh, V. Lakshmi Narasimhan, H. S. Pabla

引用次数: 6

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.

查看原文本刊更多论文

移动通信协议UMTS, LTE, GPRS和MANET的Petri网建模和分析

Petri网是一种强大的建模和分析机制，它有助于智能地理解事件和动态系统。本文分析了使用Petri网的几代移动网络系统，即UMTS、LTE、GPRS和MANET。详细分析表明，这些协议具有鲁棒性、有界性和无死锁性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2014 International Conference on Computer Communication and Informatics

自引率

0.00%

发文量