{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T17:58:51Z","timestamp":1770832731662,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,26]]},"DOI":"10.1145\/3697090.3697099","type":"proceedings-article","created":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T07:06:08Z","timestamp":1733900768000},"page":"65-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-0830-0684","authenticated-orcid":false,"given":"Luan","family":"Lins","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, Pernambuci, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6721-237X","authenticated-orcid":false,"given":"Erick","family":"Nascimento","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9009-7659","authenticated-orcid":false,"given":"Jamilson","family":"Dantas","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1688-4782","authenticated-orcid":false,"given":"Jean","family":"Araujo","sequence":"additional","affiliation":[{"name":"Universidade de Aveiro, Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4021-9069","authenticated-orcid":false,"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2013.213"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Algirdas Avizienis J-C Laprie Brian Randell and Carl Landwehr. 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE transactions on dependable and secure computing 1 1 (2004) 11\u201333.","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Carlos Brito Leonardo Silva Gustavo Callou Tuan\u00a0Anh Nguyen Dugki Min Jae-Woo Lee and Francisco\u00a0Airton Silva. 2021. Offloading data through unmanned aerial vehicles: a dependability evaluation. Electronics 10 16 (2021) 1916.","DOI":"10.3390\/electronics10161916"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Danilo Clemente Paulo Pereira Jamilson Dantas and Paulo Maciel. 2022. Availability evaluation of system service hosted in private cloud computing through hierarchical modeling process. The Journal of Supercomputing 78 7 (2022) 9985\u201310024.","DOI":"10.1007\/s11227-021-04217-1"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.16"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Rosangela\u00a0Maria De\u00a0Melo Maria\u00a0Clara Bezerra Jamilson Dantas Rubens Matos Ivanildo\u00a0Jos\u00e9 De\u00a0Melo\u00a0Filho and Paulo Maciel. 2014. Redundant vod streaming service in a private cloud: Availability modeling and sensitivity analysis. Mathematical Problems in Engineering 2014 4 (2014) 1839\u20131871.","DOI":"10.1155\/2014\/764010"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/EuCNC\/6GSummit58263.2023.10188346"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2012.6363992"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"DM Hamby. 1995. A comparison of sensitivity analysis techniques. Health physics 68 2 (1995) 195\u2013204.","DOI":"10.1097\/00004032-199502000-00005"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"David\u00a0M Hamby. 1994. A review of techniques for parameter sensitivity analysis of environmental models. Environmental monitoring and assessment 32 (1994) 135\u2013154.","DOI":"10.1007\/BF00547132"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Vyacheslav Kharchenko Ihor Kliushnikov Andrzej Rucinski Herman Fesenko and Oleg Illiashenko. 2022. UAV Fleet as a Dependable Service for Smart Cities: Model-Based Assessment and Application. Smart Cities 5 3 (2022) 1151\u20131178.","DOI":"10.3390\/smartcities5030058"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2020-0739"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon47679.2020.9275880"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon61195.2024.10553470"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon53073.2023.10131074"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2017.16"},{"key":"e_1_3_3_1_18_2","volume-title":"Performance, reliability, and availability evaluation of computational systems, volume I: performance and background","author":"Maciel Paulo Romero\u00a0Martins","year":"2023","unstructured":"Paulo Romero\u00a0Martins Maciel. 2023. Performance, reliability, and availability evaluation of computational systems, volume I: performance and background. CRC Press, Recife, Pernambuco."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2018.8369611"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"M\u00a0Ajmone Marsan Gianfranco Balbo Gianni Conte Susanna Donatelli and Giuliana Franceschinis. 1998. Modelling with generalized stochastic Petri nets. ACM SIGMETRICS performance evaluation review 26 2 (1998) 2.","DOI":"10.1145\/288197.581193"},{"key":"e_1_3_3_1_21_2","volume-title":"Performance, reliability, and availability evaluation of computational systems","author":"Martins\u00a0Maciel Paulo\u00a0Paulo","year":"2023","unstructured":"Paulo\u00a0Paulo Martins\u00a0Maciel. 2023. Performance, reliability, and availability evaluation of computational systems. Vol.\u00a02. Chapman & Hall\/CRC, Recife, Pernambuco."},{"key":"e_1_3_3_1_22_2","volume-title":"Performance, reliability, and availability evaluation of computational systems","author":"Martins\u00a0Maciel Paulo\u00a0Romero","year":"2023","unstructured":"Paulo\u00a0Romero Martins\u00a0Maciel. 2023. Performance, reliability, and availability evaluation of computational systems. Vol.\u00a01. Chapman & Hall\/CRC, Recife, Pernambuco."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Rubens Matos Jamilson Dantas Eltton Araujo and Paulo Maciel. 2020. Bottleneck Detection in Cloud Computing Performance and Dependability: Sensitivity Rankings for Hierarchical Models. Journal of Network and Systems Management 28 4 (2020) 1839\u20131871.","DOI":"10.1007\/s10922-020-09562-9"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Carlos Melo Jamilson Dantas Paulo Pereira and Paulo Maciel. 2021. Distributed application provisioning over Ethereum-based private and permissioned blockchain: availability modeling capacity and costs planning. The Journal of Supercomputing 77 9 (2021) 9615\u20139641.","DOI":"10.1007\/s11227-020-03617-z"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon53073.2023.10131075"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"T. Murata. 1989. Petri nets: Properties analysis and applications. Proc. IEEE 77 4 (1989) 541\u2013580. 10.1109\/5.24143","DOI":"10.1109\/5.24143"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon48628.2021.9447142"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3549206.3549253"},{"key":"e_1_3_3_1_29_2","volume-title":"Probability & statistics with reliability, queuing and computer science applications","author":"Trivedi Kishor\u00a0S","year":"2008","unstructured":"Kishor\u00a0S Trivedi. 2008. Probability & statistics with reliability, queuing and computer science applications. John Wiley & Sons, Berlin, Germany."},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/WOCN.2016.7759885"}],"event":{"name":"LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing","location":"Recife Brazil","acronym":"LADC 2024"},"container-title":["Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3697099","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3697090.3697099","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:33Z","timestamp":1750295853000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3697099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":29,"alternative-id":["10.1145\/3697090.3697099","10.1145\/3697090"],"URL":"https:\/\/doi.org\/10.1145\/3697090.3697099","relation":{},"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"2024-12-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}