Feitosa, Leonel, Paulo Rego, and Francisco Airton Silva. " Container Migration Performance Evaluation: An Approach Based on Stochastic Petri Nets." Anais Estendidos do XLIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, Natal/RN, 2025. SBC, 2025, pp.272-281.