|
 
|
Malika Ioulalen
|
Laboratoire: USTHB (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
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)
- [KBZ15] A. Kheldoun, K. Barkaoui, J. Zhang, M. Ioulalen. "A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems", 5th IFIP International Conference on Computer Science and Its Applications CIIA , May 2015, Vol. 456, pp.551--562, Series IFIP Advances in Information and Communication Technology , Saïda, Algeria,
Conférence Internationale avec comité de lecture
2014
- [KZB14] A. Kheldoun, J. Zhang, K. Barkaoui, M. Ioulalen. "A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems ", 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems ADECS 2014, June 2014, Vol. 1161, pp.36-51, Series CEUR Workshop Proceedings,
