Petri-nets for formal verification of MAC protocols.
Russell J. HainesGary ClemoAlistair D. MunroPublished in: IET Softw. (2007)
Keyphrases
- petri net
- formal verification
- model checking
- state machines
- petri net model
- discrete event systems
- automated verification
- bounded model checking
- manufacturing systems
- model checker
- fuzzy petri net
- symbolic model checking
- ims ld
- communication protocols
- concurrent systems
- stochastic petri net
- colored petri nets
- knowledge representation
- service composition
- concurrent processes
- expert systems