L
Laid Kahloul
Researcher at University of Biskra
Publications - 100
Citations - 489
Laid Kahloul is an academic researcher from University of Biskra. The author has contributed to research in topics: Petri net & Control reconfiguration. The author has an hindex of 10, co-authored 78 publications receiving 329 citations.
Papers
More filters
Proceedings ArticleDOI
Formal specification, verification and evaluation of the MQTT protocol in the Internet of Things
TL;DR: In this paper, the authors present the formal modeling and performance analysis of one of the Internet of Things (IoT) protocols, Message Queue Telemetry Transport (MQTT), and further statistical model checking of UPPAAL SMC toolset for the performance evaluation of the protocol.
Journal ArticleDOI
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems
TL;DR: A new methodology for formal verification of RDECSs is proposed in order to ensure the correctness of these systems with a reduced cost (decreasing the verification time and memory occupation) and an improvement method that avoids any redundancy and cancels unnecessary calculations is developed.
Journal ArticleDOI
Designing reconfigurable manufacturing systems using reconfigurable object Petri nets
TL;DR: This article applies reconfigurable object nets (RONs) for the modelling, simulation and analysis of RMSs and proposes a formal method, where the reconfiguration process is specified explicitly as a graph transformation.
Journal ArticleDOI
A new Itinerary Planning Approach Among Multiple Mobile Agents in Wireless Sensor Networks (WSN) to Reduce Energy Consumption
TL;DR: A new MIP solution (GIGM-MIP) which is based not only on geographic information but also on the amount of data provided by each node to reduce the energy consumption of the network and is more efficient than other approaches in terms of task duration and theamount of energy consumption.
Book ChapterDOI
Overview of Reconfigurable Petri Nets
Julia Padberg,Laid Kahloul +1 more
TL;DR: The aim of this paper is to present an overview of reconfigurable Petri nets dealing with several aspects including: the fundamental, theoretical basis, application domains, results at the verification/analysis level as well as practical tools.