“…SPNs são conhecidas pelo alto grau de representatividade, sendo mais intuitivos que opc ¸ões convencionais, como cadeias de Markov, para representar concorrência, paralelismo, e sincronizac ¸ão em sistemas [Silva et al 2017, Pinheiro et al 2019, Rodrigues et al 2019, Ferreira et al 2019, Silva et al 2022]. Os trabalhos relacionados na Sec ¸ão 2 propuseram modelos para analisar a disponibilidade e custos na implantac ¸ão [Melo et al 2022, Melo et al 2021, identificar gargalos [Xu et al 2021, Sukhwani et al 2018, Yuan et al 2020 e o comportamento da rede em situac ¸ões de ataque [Shahriar et al 2020]. Nenhum desses esforc ¸os, no entanto, modela a quantidade de recursos disponíveis para executar requisic ¸ões, considerando recursos de enfileiramento e processamento paralelo.…”