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://journal.unoeste.br/index.php/ce/article/view/3526. Acesso em: 25 dez. 2024.