This article proposes an iterative deadlock resolution method for flexible manufacturing systems modeled with G -systems. To design a non-blocking controlled system with maximally permissive behavior in a G -system ( GS ). a reachability graph-based analysis technology is utilized. Since the reachability graph of a large-scale GS easily becomes unmanageable. https://www.diegojavierfares.com/