{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T19:14:41Z","timestamp":1773170081119,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"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.3699799","type":"proceedings-article","created":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T07:06:08Z","timestamp":1733900768000},"page":"146-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Assessment of Availability and Reliability of a Textile Manufacturing 4.0 Using Stochastic Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8084-610X","authenticated-orcid":false,"given":"Edson Moura","family":"Silva","sequence":"first","affiliation":[{"name":"Federal Rural University of Pernambuco, Recife, Pernambuco, Brazil and SENAI Institute of Innovation for Information and Communication Technologies, Recife, Pernambuco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2592-0842","authenticated-orcid":false,"given":"Rafael Melo","family":"Macieira","sequence":"additional","affiliation":[{"name":"SENAI Institute of Innovation for Information and Communication Technologies, Recife, Pernambuco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4822-0390","authenticated-orcid":false,"given":"Danilo Ricardo Barbosa","family":"de Ara\u00fajo","sequence":"additional","affiliation":[{"name":"Federal Rural University of Pernambuco, Recife, Prenambuco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9614-4492","authenticated-orcid":false,"given":"Ermeson Carneiro de","family":"Andrade","sequence":"additional","affiliation":[{"name":"Federal Rural University of Pernambuco, Recife, Pernambuco, 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":"crossref","unstructured":"Ermeson Andrade Bruno Nogueira Gustavo Callou and Gabriel Alves. 2019. Dependability analysis of a cyber-physical system for smart environments. Concurrency and Computation: Practice and Experience 31 1 (2019) e4739. https:\/\/doi.org\/10.1002\/cpe.4739.","DOI":"10.1002\/cpe.4739"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Miryam Barad and Arkady Cherkassky. 2010. Timed Petri Nets Perspective on Weaving Processes. IFAC Proceedings Volumes 43 12 (2010) 438\u2013443. https:\/\/doi.org\/10.3182\/20100830-3-DE-4013.00072.","DOI":"10.3182\/20100830-3-DE-4013.00072"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRITO48877.2020.9197781"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHYS.2018.8390763"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCC57093.2023.10178891"},{"key":"e_1_3_3_1_7_2","unstructured":"Hilano Jos\u00e9\u00a0Rocha de Carvalho and Arthur Jos\u00e9\u00a0Vieira Porto. 2007. Use of Petri Nets in the Formal Analysis of Multifunctional Work in Production Lines. Production Management Operations and Systems Journal 2 2 (2007) 109\u2013121. https:\/\/revista.feb.unesp.br\/gepros\/article\/view\/158."},{"key":"e_1_3_3_1_8_2","unstructured":"Duan\u00a0Vilela Ferreira et\u00a0al. 2021. Industry 4.0 Maturity Model for Textile Process Evaluation. Master\u2019s thesis. Federal University of Pernambuco. https:\/\/repositorio.ufpe.br\/handle\/123456789\/43947."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Adriano\u00a0C Lisboa Fl\u00e1vio\u00a0HB De\u00a0Souza C\u00e9sar\u00a0M Ribeiro Carlos\u00a0A Maia Rodney\u00a0R Saldanha Felipe\u00a0LB Castro and Douglas\u00a0AG Vieira. 2019. On modelling and simulating Open Pit mine through stochastic timed Petri nets. IEEE Access 7 (2019) 112821\u2013112835. https:\/\/ieeexplore.ieee.org\/document\/8794505.","DOI":"10.1109\/ACCESS.2019.2934718"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Carlos-Andrey Maia. 2022. Stochastic Timed Discrete-Event Systems: Modular Modeling and Performance Evaluation Through Markovian Jumps. IEEE Access 10 (2022) 108332\u2013108341. https:\/\/ieeexplore.ieee.org\/abstract\/document\/9915605.","DOI":"10.1109\/ACCESS.2022.3213697"},{"key":"e_1_3_3_1_11_2","unstructured":"Biagio de\u00a0Oliveira Mendes\u00a0Junior. 2023. Industry: Clothing Industry. Etene Sectorial Notebook 8 276 (2023) 1\u201320. https:\/\/www.bnb.gov.br\/s482-dspace\/handle\/123456789\/1741."},{"key":"e_1_3_3_1_12_2","unstructured":"Let\u00edcia Barbosa\u00a0de M\u00e9lo. 2022. Managerial Competencies and Organizational Performance: A Study Involving Industrial Laundries of the Textile Cluster in Agreste of Pernambuco. Master\u2019s thesis. Federal University of Pernambuco. https:\/\/repositorio.ufpe.br\/handle\/123456789\/46555."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPS49255.2021.9468203"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Francisca Santana-Robles Joselito Medina-Mar\u00edn Oscar Monta\u00f1o-Arango and Juan\u00a0Carlos Seck-Tuoh-Mora. 2012. Modeling and Simulation of Textile Supply Chain through Colored Petri Nets. Intelligent Information Management 4 5A (2012) 261. http:\/\/dx.doi.org\/10.4236\/iim.2012.425037.","DOI":"10.4236\/iim.2012.425037"},{"key":"e_1_3_3_1_15_2","unstructured":"Francisca Juciane de\u00a0Melo Sousa. 2023. Models of Supervision Systems in Industry 4.0. Interdisciplinary Research Journal in Engineering 9 1 (2023) 27\u201348. https:\/\/periodicos.unb.br\/index.php\/ripe\/article\/view\/41878."},{"key":"e_1_3_3_1_16_2","volume-title":"SPNP User\u2019s Manual Version 6.0","author":"Trivedi Kishor\u00a0S.","year":"1999","unstructured":"Kishor\u00a0S. Trivedi et\u00a0al. 1999. SPNP User\u2019s Manual Version 6.0. Center for Advanced Computing and Communication (CACC), Department of Electrical and Computer Engineering, Duke University. https:\/\/www.sce.carleton.ca\/courses\/sysc-5003\/w04\/handouts04\/spnpmanual6.pdf"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"W Xiaohua W Ruiqing L Zhang et\u00a0al. 2017. Timed Petri Net Based Optimal Scheduling for Garment Flexible Productions. J Textile Eng Fashion Technol 2 2 (2017) 343\u2013349. https:\/\/medcraveonline.com\/JTEFT\/JTEFT-02-00055.pdf.","DOI":"10.15406\/jteft.2017.02.00055"}],"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.3699799","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3697090.3699799","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.3699799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":16,"alternative-id":["10.1145\/3697090.3699799","10.1145\/3697090"],"URL":"https:\/\/doi.org\/10.1145\/3697090.3699799","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"}}]}}