A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks

Abstract

Abstract-In this paper we propose a methodology for the modeling and analysis of ad hoc networks composed by a large number of nodes moving among geographical regions. This methodology uses compositional construction of stochastic Petri nets (SPN) for building the model which allows for specifying the model and the required performance indices at a high level of abstraction. As our aim is to consider real scenarios with several geographical regions and non-trivial user behavior in each region, the size of the state space of the model can easily grow too large to analyze with exact analytical approaches or even with simulation. For this reason, we propose to carry out the analysis by constructing the mean field approximation of the behavior of the SPN. The approximation is provided by a set of ordinary differential equations (ODE) that can be derived automatically from the SPN and can be solved numerically with low computational effort even for large models.The methodology is illustrated on a case study, modeling application spreading in a mobile environment. It will be shown that the approximate results obtained by the mean field approach capture well the behavior of the system.

Interference-Sensitive Preorders for MANETs

“…However, their work does not support node mobility and no interference metric is proposed. Finally, existing frameworks based on Petri Nets and queueing networks fall short of accounting for node mobility while maintaining a good accuracy in specifying the protocol designs [13], [14].…”

“…Previous process algebraic models do not deal with interferences [9], [10], [11], [12], [3], or only accounted for them in static networks without providing quantitative metrics [5]. Similarly, existing frameworks based on Petri Nets and queueing networks fall short of accounting for node mobility while maintaining a good accuracy in specifying the protocol designs [13], [14]. Plan of the paper.…”

Connectivity and energy-aware preorders for mobile ad-hoc networks

“…Other frameworks for performance modelling based on Petri Nets and queueing networks fall short of accounting for node mobility while maintaining a good accuracy in specifying the protocol design [31,3].…”