Evaluation of the Energy Consumption and the Packet Loss in WSNs Using Deterministic Stochastic Petri Nets. - Amel Berrachedi; Malika Boukala-Ioualalen (AINA Workshops, 2016)

Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. - Amel Berrachedi; Malika Ioualalen; Ahmed Hammad (SIMULTECH, 2021)