W. Louhichi and  M.Berrima and  N. Ben Rajeb Robbana,  A Timed and Colored Petri Nets for Modeling and Verifying Cloud System Elasticity.   journal   = {International Journal of Electrical and Computer Engineering}, [online]. World Academy of Science, Engineering and Technology.
    March 2022, vol. 183(3). 24 - 33
    [viewed 24 April 2024]. Available from: https://publications.waset.org/pdf/10012425.