Although different modeling techniques have been proposed during the last 300 years, the differential equation formalism proposed by Newton and Leibniz has been the tool of choice for modeling and problem solving Taylor (1996);Wainer (2009). Differential equations provide a formal mathematical method (sometimes also called an analytical method) for studying the entity of interest. Computational methods based on differential equations could not be easily applied in studying human-made dynamic systems (e.g., traffic controllers, robotic arms, automated factories, production plants, computer networks, VLSI circuits). These systems are usually referred to as discrete event systems because their states do not change continuously but, rather, because of the occurrence of events. This makes them asynchronous, inherently concurrent, and highly nonlinear, rendering their modeling and simulation different from that used in traditional approaches. In order to improve the model definition for this class of systems, a number of techniques were introduced, including Petri Nets, Finite State Machines, min-max algebra, Timed Automata, etc. Banks & Nicol. (2005) (2000); Toffoli & Margolus. (1987). Wireless Sensor Network (WSN) is a discrete event system which consists of a network of sensor nodes equipped with sensing, computing, power, and communication modules to monitor certain phenomenon such as environmental data or object tracking Zhao & Guibas (2004). Emerging applications of wireless sensor networks are comprised of asset and warehouse * madani@ciit.net.pk † jawhaikaz@ciit.net.pk ‡ mahlknecht@ict.tuwien.ac.at 1 www.intechopen.com management, automotive, home and building automation, civil infrastructure monitoring, healthcare, industrial process control, military battlefield awareness, and security and surveillance Cerpa et al. (2001). As discussed earlier, modeling and simulation is a mean to verify the working and to measure the effectiveness of the different techniques proposed for WSNs. Analytical modeling provides quick insight for the techniques developed for WSNs but fail to give realistic results because of WSN specific constraints like limited energy and sheer number of sensor nodes Chen et al. (2006). Real world implementation and test beds are the most accurate method to verify the concepts but are restricted by costs, effort, and time factors as well as repeating environmental conditions is also not possible Zeigler (1976). Simulations provide a good approximation to verify different schemes and applications developed for WSNs at low cost and in less time. To have credible results through simulation, the choice of models and the simulation environment is important. There is always a tradeoff between credible simulation results and the time required to get these simulation results. The results always depend upon the level of abstraction of the models. The more detailed is the model, the better the accuracy of results but higher the amount of time required for simulation. The models used for simulation ...