Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets | IEEE Conference Publication | IEEE Xplore