In the context of automated manufacturing systems (AMSs), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing ...