Stochastic Petri Nets for Wireless Networks - Lei, Lei; Lin, Chuang; Zhong, Zhangdui (Springer International Publishing : Imprint: Springer, 2015)