MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET. Colloquium Exactarum. ISSN: 2178-8332, [S. l.], v. 12, n. 2, p. 45–61, 2020. Disponível em: https://revistas.unoeste.br/index.php/ce/article/view/3526.. Acesso em: 17 jul. 2024.