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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Hu HS (2011) An iterative deadlock prevention approach for automated manufacturing systems. Trans Inst Meas Control 33:59–76
INA—Integrated Net Analyzer (2003) A software tool for analysis of Petri nets, Version 2.2, 31.07.2003. [Online]. Available: http://www.informatik.hu-berlin.de/~starke/ina.html
Uzam M, Li ZW, Zhou MC (2007) Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. Int J Adv Manuf Technol 35(1–2):150–168
Li ZW, Hu HS (2009) On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Comput Ind Eng 56(1):53–62
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Uzam, M., Li, Z. On an iterative deadlock prevention approach for automated manufacturing systems. Int J Adv Manuf Technol 74, 503–507 (2014). https://doi.org/10.1007/s00170-014-6018-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-014-6018-x