Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF | IEEE Conference Publication | IEEE Xplore