Performance Analysis of Channel Contention in Wireless Ad Hoc Networks: A Stochastic Game Nets Approach | IEEE Conference Publication | IEEE Xplore