In Hu (Transactions of the Institute of Measurement and Control 33:59-76, 2011), Petri nets are utilized to describe, analyse and control automated manufacturing systems (AMS). In order to suppress deadlock occurrences in AMS, a method to derive the bad markings iteratively using a mixed integer programming-based algorithm is proposed. To validate the effectiveness and efficiency of the proposed approach, two examples were demonstrated in Hu (Transactions of the Institute of Measurement and Control 33:59-76, 2011). This paper shows that the uncontrolled Petri net model in one of the examples is incorrect. It is also shown that the structural complexity of the computed monitors for both examples can be reduced with the same or more permissive system behaviours.