Lins, Luan, Erick Nascimento, Jamilson Dantas, Jean Araujo, and Paulo Maciel.
" Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability." <em>Proceedings of the 13th Latin-American Symposium on Dependable Computing,
Recife/PE, 2024</em>. SBC, 2024,  
pp.65–74.