Borrego A, Guelfi AE, Aparecido Alves da Silva A, Teixeira de Azevedo M, Ferraz Jr N, Takeo Kofuji S. MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET. CE. 2020;12(2):45-61. Acessado dezembro 30, 2025. https://journal.unoeste.br/index.php/ce/article/view/3526