Borrego, Adriano, Adilson Eduardo Guelfi, Anderson Aparecido Alves da Silva, Marcelo Teixeira de Azevedo, Norisvaldo Ferraz Jr, e Sergio Takeo Kofuji. “MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET”. Colloquium Exactarum. ISSN: 2178-8332 12, no. 2 (dezembro 3, 2020): 45–61. Acessado maio 13, 2026. https://journal.unoeste.br/index.php/ce/article/view/3526.