Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui: High-level petri nets based approach for designing and analyzing IoT systems. Internet Things 34: 101783 (2025)