GIACOMIN, P. A. S. Interactively Converting Ladder Diagrams into Grafcet Diagrams on a Robotic Neutralization System Case Study. Journal on Interactive Systems, Porto Alegre, RS, v. 17, n. 1, p. 418–430, 2026. DOI: 10.5753/jis.2026.6644. Disponível em: https://journals-sol.sbc.org.br/index.php/jis/article/view/6644. Acesso em: 12 may. 2026.