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