On an iterative deadlock prevention approach for automated manufacturing systems


UZAM M. , Li Z.

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, vol.74, pp.503-507, 2014 (Journal Indexed in SCI) identifier identifier

  • Publication Type: Article / Article
  • Volume: 74
  • Publication Date: 2014
  • Doi Number: 10.1007/s00170-014-6018-x
  • Title of Journal : INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
  • Page Numbers: pp.503-507

Abstract

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.