[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

Abstract

Siphons can be used to characterize deadlock states and solve deadlock problems in Petri nets that model flexible manufacturing systems. This paper presents an iterative siphon-based control (ISC) deadlock prevention policy for Petri nets via the combination of mixed integer programming (MIP) and the concept of necessary siphons (NSs). At each iteration in this ISC policy, a maximal deadly marked siphon that is closely related to deadlocks in a Petri net can be conveniently found by an MIP-based deadlock detection method. Then the places in it are classified and an NS is derived from the classified places. For each NS found, depending on its complementary set, the proposed policy adds a proper control place (CP) to make it marked (max-controlled). Moreover, during the ISC procedure, a test for redundant NSs is carried out under a certain condition in order to avoid the addition of the corresponding CPs. The siphon control process proceeds iteratively until the controlled system is live. Compared with the existing approaches, the proposed policy usually leads to a structurally simple liveness-enforcing supervisor by adding as few CPs as possible and achieves better control results. Some examples are introduced to illustrate the proposed approach.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Abdallah I. B., Elmaraghy H. A. (1998) Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology 14(10): 704–715

    Article  Google Scholar 

  • Bae H. Y., Choi L., Park T. J., Ryu K. R. (2011) Comparison of operations of AGVs and ALVs in an automated container terminal. Journal of Intelligent Manufacturing 22(3): 413–426

    Article  Google Scholar 

  • Barkaoui, K., & Peyre, J. F. (1996). On liveness and controlled siphons in Petri nets. Proceedings of the 17th International Conference on Application and Theory of Petri Nets (pp. 57–72). Osaka, Japan.

  • Burdett R. L., Kozan E. (2008) Analysing the performance of an automated pathology specimen handling system. Journal of Intelligent Manufacturing 19(2): 175–189

    Article  Google Scholar 

  • Chao D. Y. (2006) Computation of elementary siphons for deadlock control. The Computer Journal 49(4): 470–479

    Article  Google Scholar 

  • Chao D. Y. (2007a) Searching strict minimal siphons for SNC-based resource S3PGR2. Journal of Information Science and Engineering 23(3): 853–867

    Google Scholar 

  • Chao D. Y. (2007b) A graphic-algebraic computation of elementary siphons of BS3PR. Journal of Information Science and Engineering 23(6): 1817–1831

    Google Scholar 

  • Chao D. Y. (2007c) Max′-controlled siphons for liveness of S3PGR2. IET Control Theory & Applications 1(4): 933–936

    Article  Google Scholar 

  • Chao D. Y. (2009a) Direct minimal empty siphon computation using MIP. International Journal of Advanced Manufacturing Technology 45: 397–405

    Article  Google Scholar 

  • Chao D. Y. (2009b) Deadlock control for weighted systems of simple sequential processes with resources requirement (WS3PR). Journal of Information Science and Engineering 25(6): 1963–1978

    Google Scholar 

  • Chao D. Y. (2009c) Weighted characteristic P-vector and deadlock control of WS3PR. Journal of Information Science and Engineering 26(3): 1121–1136

    Google Scholar 

  • Chu F., Xie X. L. (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation: Part A 13(6): 793–804

    Article  Google Scholar 

  • Ezpeleta J., Colom J. M., Martinez J. (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11(2): 173–184

    Article  Google Scholar 

  • Ezpeleta, J., García-Vallés, F., & Colom, J. M. (1998). A class of well structured Petri nets for flexible manufacturing systems. Proceedings of the 19th International Conference on Application and Theory of Petri Nets (pp. 64–83). Lisbon, Portugal.

  • Fanti M. P., Zhou M. C. (2004) Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 34(1): 5–22

    Article  Google Scholar 

  • García-Vallés, F., & Colom, J. M. (1999). Implicit places in net systems. Proceedings of the 8th International Workshop on Petri Nets and Performance Models (pp. 104–113). Zaragoza, Spain.

  • Gligor V., Shattuck S. (1980) On deadlock detection in distributed systems. IEEE Transactions on Software Engineering 7(3): 320–336

    Google Scholar 

  • Hsieh F. S., Chang S. C. (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Transactions on Robotics and Automation 10(2): 196–209

    Article  Google Scholar 

  • Hu H. S., Li Z. W. (2010) Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing 21(4): 555–567

    Article  Google Scholar 

  • Huang Y. S., Jeng M. D., Xie X. L., Chung S. L. (2001) Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research 39(2): 283–305

    Article  Google Scholar 

  • Huang, Y. S., Lin, J. H., & Hsu, C. N. (2004). Comparison of deadlock prevention policies in FMS based on Petri nets siphons. 2004 IEEE International Conference on Systems, Man, and Cybernetics (pp. 4867–4872). Hague, Netherlands.

  • Huang Y. S., Jeng M. D., Xie X. L., Chung D. H. (2006) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 36(6): 1248–1256

    Article  Google Scholar 

  • Iordache M. V., Moody J. O., Antsaklis P. J. (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics and Automation 18(1): 59–68

    Article  Google Scholar 

  • Lautenbach K. (1987) Linear algebraic calculation of deadlocks and traps: Concurrency and nets. Springer, New York, NY, pp 315–336

    Book  Google Scholar 

  • Li Z. W., Zhou M. C. (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 34(1): 38–51

    Article  Google Scholar 

  • Li Z. W., Liu D. (2007) A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net. International Journal of Production Research 45(9): 2161–2165

    Article  Google Scholar 

  • Li Z. W., Zhou M. C. (2008) On siphon computation for deadlock control in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38(3): 667–679

    Article  Google Scholar 

  • Li Z. W., Hu H. S. (2009) On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Computers & Industrial Engineering 56(1): 53–62

    Article  Google Scholar 

  • Li Z. W., Zhou M. C. (2009) Deadlock resolution in automated manufacturing systems (1st ed.). Springer, London

    Google Scholar 

  • Msanjila S. S., Afsarmanesh H. (2010) FETR: A framework to establish trust relationships among organizations in VBEs. Journal of Intelligent Manufacturing 21: 251–265

    Article  Google Scholar 

  • Park J., Reveliotis S. A. (2000) Algebraic synthesis of effcient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automation 16(2): 190–195

    Article  Google Scholar 

  • Park J., Reveliotis S. A. (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automation Control 46(10): 1572–1583

    Article  Google Scholar 

  • Park J. H., Kim H. J., Li C. L. (2009) Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment. Journal of Intelligent Manufacturing 20(3): 321–325

    Article  Google Scholar 

  • Paul V. S., Hendrik V. B. (2003) Deadlock avoidance in flexible flow shops with loops. Journal of Intelligent Manufacturing 14: 137–144

    Article  Google Scholar 

  • Piroddi L., Cordone R., Fumagalli I. (2008) Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38(6): 1337–1348

    Article  Google Scholar 

  • Piroddi L., Cordone R., Fumagalli I. (2009) Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 39(3): 650–661

    Article  Google Scholar 

  • Saitou K., Malpathak S., Qvam H. (2002) Ruobust design of flexible manufacturing systemss using colored Petri net and genetic algorithm. Journal of Intelligent Manufacturing 13: 339–351

    Article  Google Scholar 

  • Tricas, F., Vallès, F. G., Colom, J. M., & Ezpeleta, J. (2005). A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. Proceedings of the 2005 IEEE International Conference on Robotics and Automation (pp. 271–277). Barcelona, Spain.

  • Tsinarekis G. J., Tsourveloudis N. C., Valavanis K. P. (2005) Modular Petri net based modeling, analysis, synthesis, and performance evaluation of random toplogy dedicated production systems. Journal of Intelligent Manufacturing 16(1): 67–92

    Article  Google Scholar 

  • Uzam M. (2004) The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. International Journal of Advanced Manufacturing Technology 23: 204–219

    Article  Google Scholar 

  • Uzam M., Zhou M. C. (2006) An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research 44(10): 1987–2030

    Article  Google Scholar 

  • Uzam M., Zhou M. C. (2007) An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 37(3): 362–371

    Article  Google Scholar 

  • Uzam M., Li Z. W., Zhou M. C. (2007) Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS. International Journal of Advanced Manufacturing Technology 35: 150–168

    Article  Google Scholar 

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

    Article  Google Scholar 

  • Wu N. Q., Zhou M. C. (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Transactions on Robotics and Automation 17(5): 657–668

    Article  Google Scholar 

  • Wu N. Q., Zhou M. C. (2005) Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Transactions on Systems, Man, and Cybernetics: Part B 35(6): 1193–1202

    Article  Google Scholar 

  • Wysk R. A., Yang N. S., Joshi S. (1991) Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation 7(6): 853–859

    Article  Google Scholar 

  • Xie X. L., Jeng M. D. (1999) ERCN-merged nets and their analysis using siphons. IIEEE Transactions on Robotics and Automation 15(4): 692–703

    Article  Google Scholar 

  • Xing K. Y., Hu B. S., Chen H. X. (1996) Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Transactions on Automation Control 41(2): 289–295

    Article  Google Scholar 

  • Zhou M. C., DiCesare F. (1991) Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation 7(4): 515–527

    Article  Google Scholar 

  • Zhou M. C., DiCesare F., Desrochers A. A. (1992a) A Hybrid Methodology for synthesis of Petri nets for manufacturing systems. IEEE Transactions on Robotics and Automation 8(3): 350–361

    Article  Google Scholar 

  • Zhou M. C., DiCesare F., Rudolph D. (1992b) Design and implementation of a Petri net based supervisor for a flexible manufacturing system. IFAC Journal Automatica 28(6): 1199–1208

    Article  Google Scholar 

  • Zhou M. C., DiCesare F. (1993) Petri net synthesis for discrete event control of manufacturing systems (1st ed.). Kluwer, Boston

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, People’s Republic of China

    Shao Yong Li, Ying Wang, Gang Wang, Cai Qin Hou & Ying Cai

  2. College of Electrical and Information Engineering, Lanzhou University of Technology, Lanzhou, 730050, People’s Republic of China

    Ai Min An

Authors
  1. Shao Yong Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ai Min An
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ying Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gang Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Cai Qin Hou
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Ying Cai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shao Yong Li.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Li, S.Y., An, A.M., Wang, Y. et al. Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. J Intell Manuf 24, 1157–1173 (2013). https://doi.org/10.1007/s10845-012-0647-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-012-0647-4

Keywords

Search

Navigation