A hierarchical formal method for performance evaluation of WSNs protocol

DOI10.1007/s00607-020-00898-3zbMath1473.68030OpenAlexW3127527882MaRDI QIDQ2030175

Karim Djouani, Laid Kahloul, Saber Benharzallah, Siham Zroug

Publication date: 7 June 2021

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-020-00898-3

zbMATH Keywords

performance evaluationWSNsCSMA/CAformal modellinghierarchical timed coloured Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Wireless sensor networks as related to computer science (68M18)

Uses Software

• Hyperopt

Cites Work

• Towards bandwidth and energy optimization in IEEE 802.15.4 wireless sensor networks
• Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets
• Learning representations by back-propagating errors

This page was built for publication: A hierarchical formal method for performance evaluation of WSNs protocol