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

Application of Petri nets to deadlock avoidance in iPad-like manufacturing systems

  • Published:
Journal of Intelligent Manufacturing 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

The ever increasing sales of Apple’s iPad have created a tablet computer craze, attracting various manufacturers to invest and conduct researches in this sector. To obtain more production benefits and promote the business competitive strengths, we have proposed the Petri-net-based optimization algorithm. Based on the exceptional siphon phenomenon in the Petri net, the number of tokens in the siphon subnet never increases and the siphon subnet remains empty all the time. As usual, the deadlock occurs when one empty siphon subnet exists. To the end, the software tool PIPE-2 is used to verify the algorithm of finding the minimal siphon. The experimental results demonstrate the feasibility of the Petri-net-based optimization algorithm.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16

Similar content being viewed by others

References

  • Chao, D. Y., & Pan, Y.-L. (2013). Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems. Journal of Intelligent Manufacturing, 24(2), 1–11.

    Google Scholar 

  • Holloway, L. E., Krogh, B. H., & Giua, A. (1997). A survey of Petri net methods for controlled discrete event system. Discrete Event Dynamic Systems: Theory and Application, 7(2), 151–190.

    Article  Google Scholar 

  • Hu, H. S., Zhou, M. C., & Li, Z. W. (2010). Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Transactions on Automation Science and Engineering, 7(4), 933–944.

    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.

  • Li, S. Y., An, A. M., Wang, Y., & Wang, G. (2013). Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. Journal of Intelligent Manufacturing, 24(6), 1157–1173.

  • Li, L., & Hadjicostis, C. N. (2011). Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions. IEEE Transactions on Automation Science and Engineering, 8(2), 394–403.

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

    Article  Google Scholar 

  • Li, Z., & 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: Systems and Humans, 34(1), 38–51.

    Article  Google Scholar 

  • Li, Z., & Zhou, M. C. (2008). Control of elementary and dependent siphons of Petri nets and their application. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 38(1), 133–148.

    Article  Google Scholar 

  • Murata, T. (1989). Petri nets: Properties, analysis, and applications. Proceedings of the IEEE, 77(4), 541–580.

    Article  Google Scholar 

  • Pla, A., Gay, P., & Melendez, J. (2014). Petri net-based process monitoring: A workflow management system for process modeling and monitoring. Journal of Intelligent Manufacturing, 25(3), 539–554.

  • Qiu, L., Hsu, W.-J., Huang, S.-Y., & Wang, H. (2002). Scheduling and routing algorithms for AGVs: A survey. International Journal of Production Research, 40(3), 745–760.

    Article  Google Scholar 

  • Rosell, J. (2004). Assembly and task planning using Petri nets: A survey. Journal of Engineering Manufacture, 218(8), 987–994.

    Article  Google Scholar 

  • Ru, Y., & Hadjicostis, C. N. (2009). Bounds on the number of markings consistent with label observations in Petri nets. IEEE Transactions on Automation Science and Engineering, 6(2), 334–344.

    Article  Google Scholar 

  • Uzam, M. (2004). Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions. The International Journal of Advanced Manufacturing Technology, 24(1–2), 48–69.

    Google Scholar 

  • Wang, S. G., Wu, W. H., & Yang, J. (2015). Deadlock prevention policy for a class of Petri nets based on complementary places and elementary siphons. Journal of Intelligent Manufacturing, 26(2), 321–330.

    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. (2010). System modeling and control with resource-oriented Petri nets. New York: CRC Press.

    Google Scholar 

  • Xiong, P. C., Fan, Y. S., & Zhou, M. C. (2010). A Petri net approach to analysis and composition of Web services. IEEE Transactions on System, Man, and Cybernetics—Part A: Systems and Humans 40(2), 1–13.

Download references

Acknowledgments

The authors are very grateful to the anonymous reviewers for their constructive comments which have improved the quality of this paper. This work was supported by the Ministry of Science and Technology, Taiwan, under Grant MOST 103- 2221- E- 305- 015.

Author information

Authors and Affiliations

  1. Department of Computer Science and Information Engineering, National Taipei University, 151, University Rd., Sanhsia, New Taipei City, 237, Taiwan

    Victor R. L. Shen

  2. Department of Computer Science, University of Taipei, 1, Ai-Guo W. Rd., Taipei, 100, Taiwan

    Cheng-Ying Yang

  3. Department of Japanese Language and Literature, Shih Hsin University, 1, Lane17, Sec.1, Mu-Cha Rd., Taipei, Taiwan

    Rong-Kuan Shen

  4. Graduate Institute of Electrical Engineering, National Taipei University, 151, University Rd., Sanhsia, New Taipei City, 237, Taiwan

    Yu-Chia Chen

  5. Department of Electronic Engineering, Ming Chi University of Technology, 84, Gungjuang Rd., Taishan District, New Taipei City, 24301, Taiwan

    Victor R. L. Shen

Authors
  1. Victor R. L. Shen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cheng-Ying Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rong-Kuan Shen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yu-Chia Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Cheng-Ying Yang.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Shen, V.R.L., Yang, CY., Shen, RK. et al. Application of Petri nets to deadlock avoidance in iPad-like manufacturing systems. J Intell Manuf 29, 1363–1378 (2018). https://doi.org/10.1007/s10845-015-1185-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-015-1185-7

Keywords