On Petri Net-based modeling paradigms for the performance analysis of wireless Internet accesses | IEEE Conference Publication | IEEE Xplore