Modeling And Analyzing Cloud Auto-Scaling Mechanism Using Stochastic Well-Formed Coloured Nets. - Mohamed M. Ould Deye; Mamadou Thiongane; Mbaye Sene (ECMS, 2021)