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 17º de julho de 2024];12(2):45-61. Disponível em: https://revistas.unoeste.br/index.php/ce/article/view/3526