Mitigating Jamming Attacks in IoT RF-Devices through Dynamic Channel Hopping: A Novel Petri-nets Formulation. - Nourredine Oukas; Menouar Boulif; Akli Abbas; Kahina Bahmed; Yasmine Mosteghanemi (ICCA, 2023)