Feitosa, Leonel, Paulo Rego, and Francisco Airton Silva. " Container Migration Performance Evaluation: An Approach Based on Stochastic Petri Nets." Companion Proceedings of the 43rd Brazilian Symposium on Computer Networks and Distributed Systems, Natal/RN, 2025. SBC, 2025, pp.272-281.