Khalil MECHERAOUI
...
PhD
Univ. Constantine 2
Team : CFSC

Tel. : ‎ (+213) 552 31 66 82
ResearchGate DBLP Google Scholar LinkedIn
Details
Publications
Khalil Mecheraoui; Irina A. Lomazova; Nabil Belala
A Petri net extension for systems of concurrent communicating agents with durable actions. J. of Parallel and Distributed Computing 155: 14-23 (2021)
Khalil Mecheraoui; Nabil Belala; Djamel Eddine Saidouni
Towards a Comprehensive Formal Model for Business Processes. 22nd Int. Conf. Information and Software Technologies (ICIST'16): 174-186 (2016)
PhD thesis
Khalil Mecheraoui
Un cadre formel pour l'analyse et la vérification des processus métiers. Université Constantine 2, Algérie (2021)