Louhichi, W. , M.Berrima, M. , Robbana, N. (2022). 'A Timed and Colored Petri Nets for Modeling and Verifying Cloud System Elasticity'. World Academy of Science, Engineering and Technology, Open Science Index 183, International Journal of Electrical and Computer Engineering, 16(3), 24 - 33.