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