An SRN Based Approach for Performance Evaluation of Network Layer in Mobile Ad hoc Networks

The application of mobile ad hoc networks in emergency and critical cases need a precise and formal performance evaluation of these networks. Traditional simulators like NS-2 and OPNET usually need considerable time for producing high-level performance metrics. Also, there is no theoretical background for mentioned simulators. In this research, we propose a framework for performance evaluation of mobile ad hoc networks. The presented framework points to the network layer of MANETs using Stochastic Reward Nets modeling tool as a variation of Generalized Stochastic Petri Nets. Based on the decomposition technique, it encompasses two separate models: one for analysis of data flowing process and the other for the modeling routing process. For verifying the presented model, an equivalence-based method is applied. The proposed model has been quantified by deriving two performances metrics as the Packet Delivery Ratio and End-to-end Delay. The results show the obtained values from the presented model well matched to the values generated from the NS-2 simulator with considerable shorter execution time.