Ramos, Danillo, Rocha, Fábio, AND Soares, Michel. " A Bottom Up Approach for Modeling Microservices Using Time Petri Nets" Proceedings of the Brazilian Symposium on Information Systems (SBSI) [Online], (16 May 2022)