Stochastic Petri Nets for Wireless Networks - Lei, Lei (Springer International Publishing, 2015)