Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata. JAUSMT. 2025;8(2). doi:10.5875/ausmt.v8i2.1698