Leonel Feitosa, Paulo Rego, and Francisco Silva. 2025. Container Migration Performance Evaluation: An Approach Based on Stochastic Petri Nets. In Anais Estendidos do XLIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, maio 19, 2025, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 272-281. DOI: https://doi.org/10.5753/sbrc_estendido.2025.7205.