On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses