Borrego, A., Guelfi, A. E., Aparecido Alves da Silva, A., Teixeira de Azevedo, M., Ferraz Jr, N., & Takeo Kofuji, S. (2020). MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET. Colloquium Exactarum. ISSN: 2178-8332, 12(2), 45-61. https://journal.unoeste.br/index.php/ce/article/view/3526