|
 
|
Ahmed Kheldoun
|
Doctorant(e) Equipe SYS Mail : ahmedkheldoun  yahoo.fr
|
Publications
2017
-
[KBI17]
A. Kheldoun, K. Barkaoui, M. Ioulalen.
"Formal verification of complex of complex
business processes based on high-level Petri nets
business processes based on high-level Petri nets",
Information Sciences,
vol. 385-386(385), pp. 39-54 ,
2017, (doi:10.1016/j.ins.2016.12.044)
Revue Internationale avec comité de lecture
2016
- [BHK16] K. Barkaoui, A. Hicheur-Cairns, A. Kheldoun, D. Liu. "Modelling and analyzing home care plans using high-level Petri nets", 2016 13th International Workshop on Discrete Event Systems (WODES), June 2016, pp.284 - 290, Xian, China, (DOI: 10.1109/WODES.2016.7497861)
Conférence Internationale avec comité de lecture
2015
- [KBI15] A. Kheldoun, K. Barkaoui, M. Ioulalen. "Specification and verification of complex business processes: A High-level Petri net-based approach", BPM 2015 - 13th International Conference on Business Process Management , November 2015, Vol. 9253, pp.55-71, Series LNCS, Innsbruck, Austria, (DOI: 10.1007/978-3-319-23063-4_4)
