Skip to main content
SpringerLink
Log in

Deadlock avoidance control for manufacturing systems with multiple capacity resources

  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Abstract

This paper addresses the problem of designing a control scheme capable of avoiding deadlock conditions for a class of manufacturing systems. The considered model for the system under control is based on Petri nets, and is formulated according to well-known modelling rules. A deadlock avoidance policy is proposed which is an extension of a previously presented one. The proofs of its main properties are briefly sketched. Finally, an example of an automated manufacturing system for which such a deadlock avoidance policy has been applied is discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Z. Banaszak and B. H. Krogh, “Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows”, IEEE Transactions in Robotics and Automation, 6(6), pp. 724–734, 1990.

    Google Scholar 

  2. C. C. Lee and J. T. Lin, “Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems”, International Journal of Production Research, 33(12), p. 3249, 1995.

    Google Scholar 

  3. N. Viswanadham, Y. Narahari and T. L. Johnson, “Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models”, IEEE Transactions on Robotics and Automation, 6(6), p. 713, 1990.

    Google Scholar 

  4. X. Xie, “Deadlock-free dispatching control of manufacturing systems using Petri nets”, Proceedings, 13th IFAC World Congress, San Francisco, p. 507, 1996.

  5. D. Y. Lee and F. DiCesare, “Scheduling flexible manufacturing systems using Petri nets and heuristic search”, IEEE Transactions on Robotics and Automation, 10(2), p. 123, 1994.

    Google Scholar 

  6. N. N. Ivanov, “Algebraic method of determining nonexistence of deadlock markings in Petri nets”, Automation and Remote Control, 52(7), p. 986, 1991.

    Google Scholar 

  7. T. Minoura and C. Ding, “A deadlock prevention method for a sequence controller for manufacturing control”, International Journal of Robotics and Automation, 6(3), p. 149, 1991.

    Google Scholar 

  8. M. C. Zhou, F. DiCesare and R. Rudolph, “Design and implementation of a Petri nets based supervisor for a flexible manufacturing systems”, IFAC Journal Automatica, 28(6), pp. 1199–1208, 1992.

    Google Scholar 

  9. Leung Ying Tat and Sheen Gwo-Ji, “Resolving deadlocks in flexible manufacturing cells”, Journal of Manufacturing Systems, 12(4), p. 291, 1993.

    Google Scholar 

  10. Richard A. Wysk, Yang Neng-Shu and Joshi Sanjay, “Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches”, Journal of Manufacturing Systems, 13(2), p. 128, 1994.

    Google Scholar 

  11. J. Epzeleta, J.-M. Colom and J. Martinez, “A Petri net based deadlock prevention policy for flexible manufacturing systems”, IEEE Transactions on Robotics and Automation 1995, 11(2), p. 173, 1995.

    Google Scholar 

  12. F.-S. Hsieh and S.-C. Chang, “Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems”, IEEE Transactions on Robotics and Automation, 10(2), p. 196, 1994.

    Google Scholar 

  13. T. Masumoto and S. Yamazaki, “Necessary and sufficient condition of structural liveness for general Petri nets with globally structural live minimal deadlocks”, IEICE Transactions Fundamentals, E78-A(12), p. 1875, 1995.

    Google Scholar 

  14. K.-Y. Xing, B.-S. Hu and H.-X. Chen, “Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources”, IEEE Transactions on Automatic Control, 41(2), p. 289, 1996.

    Google Scholar 

  15. H. Tamaki, S. Mukumoto, Y. Nishikawa and M. Araki, “Simulation-based scheduling package: models and solutions”, Proceedings, IEEE International Conference Industrial Electronics (IECON '94), Bologna, Italy, pp. 1521–1526, September 1994.

  16. L. Ferrarini and M. Araki, “On deadlock occurrence in manufacturing systems”, Proceedings, INRIA/IEEE Conference on Emerging Technology and Factory Automation (ETFA '95), Paris, France, Vol. 3, pp. 141–152, October 1995.

  17. M. Maroni, “Deadlock avoidance control for manufacturing systems with multiple capacity resources”, Internal Report 97-051, Dip. Di Elettroni e Informazione, Politecnico di Milano, 1997.

    Google Scholar 

  18. S. E. Ramaswamy and S. B. Joshi, “Deadlock-free schedules for automated manufacturing workstations”, IEEE Transactions on Robotics and Automation, 12(3), p. 391, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci 32, 20133, Milano, Italy

    L. Ferrarini & M. Maroni

Authors
  1. L. Ferrarini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Maroni
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to L. Ferrarini.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ferrarini, L., Maroni, M. Deadlock avoidance control for manufacturing systems with multiple capacity resources. Int J Adv Manuf Technol 14, 729–736 (1998). https://doi.org/10.1007/BF01438225

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01438225

Keywords

Search

Navigation