A Stochastic Petri Net Model for the Simulation Analysis of the IEEE 802.11e EDCA Communication Protocol | IEEE Conference Publication | IEEE Xplore