Message Collision and CSMA/CA Modeling and Simulation by Means of Petri Net | IEEE Conference Publication | IEEE Xplore