The major issue of wireless sensor networks is collisions. This book is estimated to provide a model of LMAC protocol with the addition wait phase where you can to analyze the probability of collisions among the sensor nodes which may transmit data at the same time. The analysis is performed using probabilistic UPPAAL model checker platform. This propose an optimal network's setup which increases overall performance and reduces cost of networks.