Modular models for systems based on multi-tenant services: A multi-level petri-net-based approach. - Noureddine Hattab; Ghalem Belalem (J. King Saud Univ. Comput. Inf. Sci., 2023)