Ahmed Kheldoun

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 4

Top Topics

Activity Diagrams

Business Processes

Top Venues

ADECS @ Petri Nets

Publications

Oussama Merabet, A. Kheldoun, M. Bouchahdane, A. Eltom, Ahmed Kheldoun
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. Expert Syst. Appl. 248 (2024)
El Bahi Toubal, Abdelkader Belkhir, Ahmed Kheldoun, Messaoud Rahim
A Model Driven Approach for Web Service Composition. ICAASE (2022)
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. 385 (2017)
Kamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu
Modelling and analyzing home care plans using high-level Petri nets. WODES (2016)
Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. IET Softw. 9 (5) (2015)
Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen
A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. CIIA (2015)
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. BPM (2015)
Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen
A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. ADECS @ Petri Nets (2014)
Ahmed Kheldoun, Malika Ioualalen
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. MODELSWARD (2014)