Feitosa, Leonel, Rego, Paulo, AND Silva, Francisco. " Container Migration Performance Evaluation: An Approach Based on Stochastic Petri Nets" Companion Proceedings of the Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) [Online], (19 May 2025)