Skip to main content
SpringerLink
Log in

A New MIP Test for S3PGR2

  • Conference paper
Global Perspective for Competitive Enterprise, Economy and Ecology

Part of the book series: Advanced Concurrent Engineering ((ACENG))

Abstract

For general Petri nets such as S3PGR2 (systems of simple sequential processes with general resources requirement), the mixed integer programming (MIP) test by Chu et al. is no longer valid. Park et al. modified MIP test and claimed that it can determine the net is live if there are no feasible solutions. However, the net can have livelocks even though it is deadlockfree. The set of places with dead input transitions may not form a siphon and cannot be detected by the above modified MIP test which detects siphons and not their subsets. We show one counter example to confirm this and propose a revised MIP test to fix the problem.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Chu and X. L. Xie (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Automat., 13, pp. 793–804.

    Google Scholar 

  2. 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), pp.283-305.

    Google Scholar 

  3. J. Ezpeleta, J. M. Colom, and J. Martinez (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Automat., 11(2), pp. 173–184.

    Google Scholar 

  4. Li, Z. W., Hu, H. S., Wang, A. R. (2007) Design of liveness-enforcing super-visors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 37(4), pp.517-526.

    Google Scholar 

  5. Li, Z. W., Zhou, M. C., Uzam, M. (2007) Deadlock control policy for a class of Petri nets without complete siphon enumeration. IET Control Theory and Applications, 1(6), pp.1594- 1605.

    Google Scholar 

  6. J. Park and S. A. Reveliotis (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Automat. Contr., 46(10), pp. 1572–1583.

    Article  MATH  MathSciNet  Google Scholar 

  7. Daniel Yuh Chao (2007) Max’-Controlled Siphons for Liveness of S3 PGR2 . IET Control Theory and Applications, 1(4), pp. 933-936.

    Google Scholar 

  8. K. Barkaoui and J. Pradat-Peyre (1996) On liveness and controlled siphons in Petri nets. In Reisig, (Ed.), “Petri Nets, Theory and Application”, 1091 in LNCS. Springer-Verlag, pp. 57-72.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Management, National Taipei College of Business, Taipei, Taiwan, Province of China

    Yu-Ying Shih

  2. Department of Graduate Institute of Industrial and Business Management, National Taipei University of Technology, Taipei, Taiwan, Province of China

    Yu-Ying Shih

  3. Department of MIS, National Cheng Chi University, Taipei, Taiwan, Province of China

    D. Y. Chao

  4. Department of Industrial Engineering and Management, National Taipei University of Technology, Taipei, Taiwan, Province of China

    Chui-Yu Chiu

Authors
  1. Yu-Ying Shih
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. Y. Chao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chui-Yu Chiu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. Y. Chao .

Editor information

Editors and Affiliations

  1. Department of Industrial Management, National Taiwan University of Science and Technology (NTUST), 43 Keelung Road, Section 4, 106, Taipei, Taiwan, Province of China

    Shuo-Yan Chou

  2. Department of Industrial Engineering and Management, National Taipei University of Technology, No.1, Section 3, Chung-Hsiao E. Road, 106, Taipei, Taiwan, Province of China

    Amy Trappey

  3. Inst. Machine Design Fundamentals, Warsaw University of Technology, Narbutta 84, 02-524, Warszawa, Poland

    Jerzy Pokojski

  4. Department of Mechanical Engineering, National Taiwan University, 1 Roosevelt Road, Section 4, 106, Taipei, Taiwan, Province of China

    Shana Smith

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer London

About this paper

Cite this paper

Shih, YY., Chao, D., Chiu, CY. (2009). A New MIP Test for S3PGR2 . In: Chou, SY., Trappey, A., Pokojski, J., Smith, S. (eds) Global Perspective for Competitive Enterprise, Economy and Ecology. Advanced Concurrent Engineering. Springer, London. https://doi.org/10.1007/978-1-84882-762-2_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-84882-762-2_4

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84882-761-5

  • Online ISBN: 978-1-84882-762-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation