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.spidertattooz.com/Kaiser-Copy-Stand-RS-1-with-RA-1-Arm-40-Counterbalanced-Column-and-18-x-20-Baseboard/