ZROUG, SIHAM (2021) Modelling, verification and performance evaluation of the CSMA/CA protocol in WSNs, by Coloured Petri Nets. Doctoral thesis, Université de mohamed kheider biskra.