Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios.

Mihai-Lica Pura Didier Buchs

Published in: ICST Workshops (2014)

Keyphrases

petri net
routing protocol
stochastic petri net
network topology
discrete event systems
secure routing
wireless sensor networks
routing algorithm
petri net model
ad hoc networks
energy consumption
knowledge representation
service composition
ims ld
fuzzy rules
fuzzy petri net
complex systems