Performance Modeling of Microservices with Circuit Breakers using Stochastic Petri Nets | IEEE Conference Publication | IEEE Xplore