Carlos Brito, Laécio Rodrigues, Iure Fé, Guto Leoni, and Francisco Silva. 2020. Availability Assessment of an Edge Computing Architecture with Stochastic Petri Nets. In Proceedings of the 19th Workshop on Performance of Computer and Communication Systems, June 30, 2020, Cuiabá, Brasil. SBC, Porto Alegre, Brasil, 175-180. DOI: https://doi.org/10.5753/wperformance.2020.11117.