A. Borrego, A. E. Guelfi, A. Aparecido Alves da Silva, M. Teixeira de Azevedo, N. Ferraz Jr, e S. Takeo Kofuji, “MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET”, CE, vol. 12, nº 2, p. 45–61, dez. 2020, Acessado: 30º de dezembro de 2025. [Online]. Disponível em: https://journal.unoeste.br/index.php/ce/article/view/3526