“MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET” (2020) Colloquium Exactarum. ISSN: 2178-8332, 12(2), p. 45–61. Disponível em: https://revistas.unoeste.br/index.php/ce/article/view/3526 (Acessado: 17 julho 2024).