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 [Internet]. 3º de dezembro de 2020 [citado 30º de dezembro de 2025];12(2):45-61. Disponível em: https://journal.unoeste.br/index.php/ce/article/view/3526