A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. - Ahmed Kheldoun; Jiafeng Zhang; Kamel Barkaoui; Malika Ioualalen (ADECS @ Petri Nets, 2014)

Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. - Ahmed Kheldoun; Malika Ioualalen (MODELSWARD, 2014)

Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. - Ahmed Kheldoun; Kamel Barkaoui; Malika Ioualalen (BPM, 2015)

A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. - Ahmed Kheldoun; Kamel Barkaoui; Jiafeng Zhang; Malika Ioualalen (CIIA, 2015)

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. - Messaoud Rahim; Ahmed Kheldoun; Malika Boukala-Ioualalen; Ahmed Hammad (IET Softw., 2015)

Modelling and analyzing home care plans using high-level Petri nets. - Kamel Barkaoui; Awatef Hicheur; Ahmed Kheldoun; Ding Liu (WODES, 2016)

Formal verification of complex business processes based on high-level Petri nets. - Ahmed Kheldoun; Kamel Barkaoui; Malika Ioualalen (Inf. Sci., 2017)

A Model Driven Approach for Web Service Composition. - El Bahi Toubal; Abdelkader Belkhir; Ahmed Kheldoun; Messaoud Rahim (ICAASE, 2022)

An adaptive protection coordination for microgrids utilizing an improved optimization technique for user-defined DOCRs characteristics with different groups of settings considering N-1 contingency. - Oussama Merabet; A. Kheldoun; M. Bouchahdane; A. Eltom; Ahmed Kheldoun (Expert Syst. Appl., 2024)