Advertisement

Modeling and scheduling for manufacturing grid workflows using timed Petri nets

  • Hesuan Hu
  • Zhiwu Li
ORIGINAL ARTICLE

Abstract

A manufacturing grid workflow can be viewed as the composition of activities that execute on heterogeneous, distributed, and job-dependent resources in a virtual organization to accomplish a specific manufacturing goal. Scheduling emerges as a key issue in manufacturing grid workflows since it assigns manufacturing resources to perform the required activities such that the optimal service is obtained. However, scheduling problems prove to be NP-hard due to the inherent combination explosion vices adhered to discrete event systems, such as the grid manufacturing. To crack such a hard nut, we focus on the formulation of a heuristic search algorithm based on timed Petri nets. When the activities involved in the manufacturing grid workflow can be executed by more than one resource, this scheduling algorithm selects the optimal one so as to minimize the makespan. Furthermore, the proposed scheduling policy in this paper aims to be dynamic rather than static such that the whole algorithm can be applied in a dynamic manufacturing grid environment. Both the theoretical and experimental results validate the legitimacy of the proposed approach.

Keywords

Manufacturing grid workflow Timed Petri nets Scheduling Heuristic search 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Sun TH, Cheng CW, Fu LC (1994) A Petri net based approach to modeling and scheduling for an FMS and a case study. IEEE Trans Ind Electron 41(9):593–601Google Scholar
  2. 2.
    Lee DY, DiCesare F (1994) Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Trans Robot Autom 10(2):123–132CrossRefGoogle Scholar
  3. 3.
    Deng H, Chen L, Wang C, Deng Q (2006) A grid-based scheduling system of manufacturing resources for a virtual enterprise. Int J Adv Manuf Technol 28(1–2):137–141Google Scholar
  4. 4.
    Deelman E, Blythe J, Gil Y, et al (2003) Mapping abstract complex workflows onto grid environment. J Grid Comput 1(1):25–39CrossRefGoogle Scholar
  5. 5.
    Rogers RV, Jr KPW (1991) Algebraic, mathematical programming, and network models of the deterministic job shop scheduling problem. IEEE Trans Syst Man Cybern 21(3):693–697Google Scholar
  6. 6.
    Aalst WMPVD (2004) Business process management demystified: a tutorial on models, systems and standards for workflow management. In: Proceedings of ACPN, lecture notes in computer science, vol 3098. Springer, Heidelberg, pp 1–65Google Scholar
  7. 7.
    RA D, Ali S, Gupta I, et al (2005) Scalable enterprise level workflow manager for the grid. In: Proceedings of the fifth international conference on quality software, pp 341–348, Melbourne, 19–20 September 2005Google Scholar
  8. 8.
    Foster I, Kesselman C, Turcke S (2001) The anatomy of the grid: enabling scalable virtual organizations. Int J High Perform Comput Appl 15(3):1–21CrossRefGoogle Scholar
  9. 9.
    Kim SS, Shin HJ, Eom DH, Kim CO (2003) A due date density-based heuristic parallel machines scheduling. Int J Adv Manuf Technol 22(9–10):753–760CrossRefGoogle Scholar
  10. 10.
    Kapasouris P, Serfaty D, Deckert JC, Wohl JG, Pattipati KR (1991) Resource allocation and performance evaluation in large human-machine organization. IEEE Trans Syst Man Cybern 21(3):521–532CrossRefGoogle Scholar
  11. 11.
    Jeng MD, Chen SC (1998) Heuristic search approach using approximate solutions of Petri net state equations for scheduling flexible manufacturing systems. Int J Flexible Manuf Syst 10(2):139–162CrossRefGoogle Scholar
  12. 12.
    Jeng MD, Lin CS, Huang YS (1999) Petri net dynamics-based scheduling of flexible manufacturing systems with assembly. J Intell Manuf 10(6):541–555CrossRefGoogle Scholar
  13. 13.
    Jeng MD, Chen SC (1999) Heuristic search based on Petri net structure for FMS scheduling. IEEE Trans Ind Appl 35(1):196–202CrossRefGoogle Scholar
  14. 14.
    Moro AR, Yu H, Kelleher G (2002) Hybrid heuristic search for the scheduling of flexible manufacturing systems using Petri nets. IEEE Trans Robot Autom 18(2):240–245CrossRefGoogle Scholar
  15. 15.
    Xiong HH, Zhou MC (1998) Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search. IEEE Trans Semicond Manuf 11(3):384–393CrossRefGoogle Scholar
  16. 16.
    Liao DY, Zheng MD, Zhou MC (2007) Application of Petri nets and lagrangian relaxation to scheduling automatic material-handling vehicles in 300-mm semiconductor manufacturing. IEEE Trans Syst Man Cybern Part C 37(4):504–516CrossRefGoogle Scholar
  17. 17.
    Tuncel G, Bayhan GM (2007) Application of Petri nets in production scheduling: a review. Int J Adv Manuf Technol 34(7–8):762–773CrossRefGoogle Scholar
  18. 18.
    Dominic PDD, Kaliyamoorthy S, Kumar MS (2004) Efficient dispatching rules for dynamic job shop scheduling. Int J Adv Manuf Technol 24(1–2):70–75Google Scholar
  19. 19.
    Chan FTS, Chan HK, Lau HCW (2002) The state of the art in simulation study on FMS scheduling: a comprehensive survey. Int J Adv Manuf Technol 19(11):830–849CrossRefGoogle Scholar
  20. 20.
    Hu GH, Wong YS, Loh HT (1995) An FMS scheduling and control decision support system based on generalised stochastic Petri nets. Int J Adv Manuf Technol 10(1):52–58CrossRefGoogle Scholar
  21. 21.
    Chincholkar AK, Chetty OVK (1996) Stochastic coloured Petri nets for modelling and evaluation, and heuristic rule base for scheduling of FMS. Int J Adv Manuf Technol 12(5):339–348CrossRefGoogle Scholar
  22. 22.
    Chettry OVK, Gnanasekaran OC (1996) Modelling, simulation and scheduling of flexible assembly systems with coloured Petri nets. Int J Adv Manuf Technol 11(6):430–438CrossRefGoogle Scholar
  23. 23.
    Chen J, Chen FF (2003) Performance modelling and evaluation of dynamic tool allocation in flexible manufacturing systems using Petri nets: an object-oriented approach. Int J Adv Manuf Technol 21(2):98–109Google Scholar
  24. 24.
    Mejía G, Odrey NG (2006) An approach using Petri nets and improved heuristic search for manufacturing systems scheduling. J Manuf Syst 24(2):70–92Google Scholar
  25. 25.
    Hillion HP, Proth J (1989) Performance evaluation of job-shop systems using timed event-graph. IEEE Trans Autom Control 34(1):3–9zbMATHCrossRefMathSciNetGoogle Scholar
  26. 26.
    Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77(4):541–580CrossRefGoogle Scholar
  27. 27.
    Zhou MC, DiCesare F, Desrochers AA (1992) A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Trans Robot Autom 8(3):350–361CrossRefGoogle Scholar
  28. 28.
    Li JQ, Fan YS, Zhou MC (2004) Performance modeling and analysis of workflow. IEEE Trans Syst Man Cybern Part A 34(2):229–242CrossRefGoogle Scholar
  29. 29.
    Golmakani HR, Mills JK, Benhabib B (2006) Deadlock-free scheduling and control of flexible manufacturing cells using automata theory. IEEE Trans Syst Man Cybern Part A 36(2):327–337CrossRefGoogle Scholar
  30. 30.
    Wu NQ, Zhou MC (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Trans Robot Autom 17(5):658–669CrossRefMathSciNetGoogle Scholar
  31. 31.
    Huang YS, Jeng MD, Xie XL, Chung SL (2001) Deadlock prevention policy based on Petri nets and siphons. Int J Prod Res 39(2):283–305zbMATHCrossRefGoogle Scholar
  32. 32.
    Uzam M (2004) Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions. Int J Adv Manuf Technol 24(1–2):48–69Google Scholar
  33. 33.
    Li ZW, Zhou MC (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A 34(1):38–51CrossRefGoogle Scholar
  34. 34.
    Fanti MP, Zhou MC (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans Syst Man Cybern Part A 34(1):5–22CrossRefGoogle Scholar
  35. 35.
    Fan YS, Zhao DZ, Zhang LQ, Huang SX, Liu B (2004) Manufacturing grid: needs, concept, and architecture. In: Lecuture Notes in Computer Science, vol 3023. Springer, Heidelberg, pp 653–656Google Scholar

Copyright information

© Springer-Verlag London Limited 2008

Authors and Affiliations

  1. 1.School of Electro-Mechanical EngineeringXidian UniversityShaanxiPeople’s Republic of China

Personalised recommendations