Comments on “Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems”

Petri nets have been widely used to solve the modeling, analysis, and control problems in the context of automated manufacturing systems (AMSs). In the literature, investigations on the liveness-enforcing supervisory control of AMSs have been an active research topic. In [1], it was supposed that an AMS is subject to a stable demand for different products with specific production ratios. The ratio and supervisory control issues were addressed together for AMSs. It was proven in [1] that ratio and supervisory controls can be performed separately. A mixed integer programming (MIP)-based method was proposed to design a liveness-enforcing supervisor for AMSs.