Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF.
Russell J. HainesAlistair MunroGary ClemoPublished in: VTC Spring (2006)
Keyphrases
- petri net
- formal verification
- colored petri nets
- stochastic petri net
- model checking
- manufacturing systems
- petri net model
- discrete event systems
- model checker
- sequence diagrams
- state machines
- service composition
- bounded model checking
- fuzzy petri net
- ims ld
- symbolic model checking
- programmable logic controller
- concurrent systems
- reactive systems
- low cost
- communication protocols
- artificial intelligence