Abstarct: Formal and model baxsed analytical methods like petri nets have sufficient facilities for modeling and performance analysis of mobile ad hoc networks. Using these methods for performance analysis of such a system has advantages like speed in parameter extractions, the ability of steady state analysis of a system and providing a visual illustration of its behavior. Also the usage of these methods in designing routing protocols, leads a considerable decline in development time, finding issues and providing a comprehensive evaluation. So in this research we attempt to use analytical modeling tool for performance analysis of mobile ad-hoc network versus operation of misbehavior nodes. We emphasis on two important laxyers in MANET protocol stack as data-lixnk and network laxyer. For the data lixnk laxyer model, the performance evaluation is done on IEEE 802.11 distributed coordination function (DCF) as a popular media access control (MAC) laxyer protocol. The goal of this evaluation is to examine this protocol under the existing of misbehavior nodes which selfishly try to grape common channel in a neighbor area. The presented model consists of two separate stochastic reward net (SRN) models. The first model which are called one node operation model supposed for presenting all DCF operations in a single node such as Collision Avoidance (CA), RTS/CTS handshake and backoff mechanism. As a next SRN model, all node operation model, is used for modeling nodes competition for occupying channel in a neighbor area. The models could be adjusted to a dynamic network with any number of nodes, dimension scale and nodes speed. For evaluation purpose, four distinct attack types implemented by modifying associated transitions in SRN models. The proposed SRN model has been quantified by deriving two performances metrics as Throughput and Delay. Both metrics are also compared to the value obtained from NS-2 in terms of different number of nodes and three packet generation rates. The presented frxamework for the network laxyer encompasses two separate models: one for analysis of data flow and the other for modeling routing process which is baxsed on AODV routing protocol. To verify the presented model, an equivalence-baxsed method is applied. The proposed SRN model has been quantified by deriving two performances metrics as Packet Delivery Ratio (PDR) and End-to-end Delay. Both metrics are also compared to the value obtained from NS-2 versus different number of nodes and four packet generation rates.