A stochastic Petri net-approach to modeling and analysis of ad hoc network | IEEE Conference Publication | IEEE Xplore