Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

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

  • 115 Accesses

  • 1 Citations


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 to check access.


  1. 1.

    Peterson J (1981) Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs, NJ

  2. 2.

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

  3. 3.

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

  4. 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. 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. 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

  7. 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

  8. 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. 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. 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. 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. 12.

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

  13. 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

  14. 14.

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

  15. 15.

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

  16. 16.

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

  17. 17.

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

Download references


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

Author information

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


  • Flexible manufacturing system
  • Machining unit
  • Petri net
  • Reachability graph
  • The best state line of FMS