Skip to main content
SpringerLink
Log in

Modeling and analysis for a kind of flexible manufacturing system involving time factors

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

Abstract

Time control and management are important in flexible manufacturing systems (FMS). The time to finish the machining unit is uncertain because of the uncertainties of the workpieces, so the whole time to finish the FMS is also variable. In order to reduce the time to finish for the whole FMS to improve efficiency, the modeling and analysis method for this timing kind of FMS based on standard Petri net is proposed. The modeling method is a mapping from the machining units to the component of a Petri net, and the timing factors are represented by a timing function on the place set. With the Petri net model obtained and its reachability graph, the timing factors influencing the implementation of the FMS are analysed and presented. In addition, the method is obtained to find the best state line for the implementation of the FMS.

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. Peterson J (1981) Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs, NJ

    Google Scholar 

  2. Murata T (1989) Petri nets: properties, analysis and applications. P IEEE 77(4)

  3. Reisig W (1985) Petri nets—an introduction. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  4. Zhou MC, Frank D, Desrochers AA (1989) A topdown modular approach to synthesis of Petri net models for manufacturing systems. In: Proceedings of the IEEE international conference on robotics and automation, Scottsdale, AZ, pp 534–539, May 1989

  5. Zhou MC, Mc Dermott K, Patel PA (1993) Petri net synthesis and analysis of a flexible manufacturing system unit. In: IEEE T Syst Man Cyb 23(2)

  6. Mohan S, Yalcin A, Khator S (2004) Controller design and performance evaluation for deadlock avoidance in automated manufacturing cells. Robot Com-Int Manu 20:541–551

    Google Scholar 

  7. Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3):259–273

    Article  Google Scholar 

  8. Kamath M, Viswanadham N (1986) Application of Petri net based models in the modeling and analysis of flexible manufacturing systems. Proceedings of the 1986 IEEE international conference on robotics and automation, San Francisco, pp 312–317

  9. Lee DY, DiCesare F (1992) FMS scheduling using Petri nets and heuristic search. Proceedings of the IEEE international conference on robotics and automation, Nice, France, pp 1057–1062

  10. Shih HM, Sekiguchi T (1991) A timed Petri net and beam search based online FMS scheduling system with routing flexibility. Proceedings of the IEEE international conference on robotics and automation, Sacramento, CA, pp 2548–2553

  11. Peng Z, Tome A (1993) A Petri net based modeling and synthesis technique for realtime systems. Proceedings of the 5th Euromicro workshop on real time systems, Oulu, Finland, 22–24 June, IEEE Computer Society Press, pp 204–209

  12. Zuberek WM (1999) Timed Petri net in modeling and analysis of simple schedules for manufacturing cells. Comput Math Appl 37:191–206

    Article  MATH  Google Scholar 

  13. Zhang WJ (2005) Dynamic scheduling in flexible assembly system based on timed Petri nets model. Robot Com-Int Manu 21(6):550–558, December

    Article  Google Scholar 

  14. Zeng QT, Wu ZH (2002) Process net system of Petri net. Chinese J Comput 25(10):1308–1315

    Google Scholar 

  15. Zeng QT, Wu ZH (2003) Process expression of unbounded Petri net. Chinese J Comput 26(12):1629–1636

    Google Scholar 

  16. Zeng QT (2004) Behavior descriptions of structure-complex Petri nets based on synchronous composition. J Softw 15(3):327–337

    MATH  Google Scholar 

  17. Wang HB (2001) Modeling method for FMS based on synchronization composition of Petri nets. Syst Eng Theory Pract 21(2):35–42

    Google Scholar 

Download references

Acknowledgement

This project is supported by the National Natural Science Foundation of China (No60274063) and Shandong Excellent Scientist Award Foundation (No. 02BS069).

Author information

Authors and Affiliations

  1. College of Mechanical and Electronic Engineering, Shandong University of Science and Technology, Qingdao, 266510, People’s Republic of China

    Qingliang Zeng & Lirong Wan

Authors
  1. Qingliang Zeng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lirong Wan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Qingliang Zeng.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zeng, Q., Wan, L. Modeling and analysis for a kind of flexible manufacturing system involving time factors. Int J Adv Manuf Technol 34, 346–352 (2007). https://doi.org/10.1007/s00170-006-0600-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-006-0600-9

Keywords

Search

Navigation