Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol.

Lars Michael Kristensen Vegard Veiset

Published in: Petri Nets (2016)

Keyphrases

test bed
coloured petri nets
lightweight
data mining
decision trees
probabilistic model
complex systems
statistical models
end to end
information retrieval
prior knowledge
wireless networks
computational models
accurate models