Stochastic petri nets for wireless networks. ([2015])