MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET. CE. 2020;12(2):45-61. Acessado julho 17, 2024. https://revistas.unoeste.br/index.php/ce/article/view/3526