Stochastic Petri Net Models for Availability and Performance Evaluation of Nextcloud Service hosted in Apache Cloudstack. - Leonardo, Wenderson de Souza; Bezerra, Thiago Valentim; Callou, Gustavo (2024)