Giacomin, P.A.S. 2026. Interactively Converting Ladder Diagrams into Grafcet Diagrams on a Robotic Neutralization System Case Study. Journal on Interactive Systems. 17, 1 (May 2026), 418–430. DOI:https://doi.org/10.5753/jis.2026.6644.