Methodology for LAN modeling and analysis using Petri nets based models | IEEE Conference Publication | IEEE Xplore