Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore