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.
Similar content being viewed by others
References
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–601
Lee DY, DiCesare F (1994) Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Trans Robot Autom 10(2):123–132
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–141
Deelman E, Blythe J, Gil Y, et al (2003) Mapping abstract complex workflows onto grid environment. J Grid Comput 1(1):25–39
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–697
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–65
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 2005
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–21
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–760
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–532
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–162
Jeng MD, Lin CS, Huang YS (1999) Petri net dynamics-based scheduling of flexible manufacturing systems with assembly. J Intell Manuf 10(6):541–555
Jeng MD, Chen SC (1999) Heuristic search based on Petri net structure for FMS scheduling. IEEE Trans Ind Appl 35(1):196–202
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–245
Xiong HH, Zhou MC (1998) Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search. IEEE Trans Semicond Manuf 11(3):384–393
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–516
Tuncel G, Bayhan GM (2007) Application of Petri nets in production scheduling: a review. Int J Adv Manuf Technol 34(7–8):762–773
Dominic PDD, Kaliyamoorthy S, Kumar MS (2004) Efficient dispatching rules for dynamic job shop scheduling. Int J Adv Manuf Technol 24(1–2):70–75
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–849
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–58
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–348
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–438
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–109
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–92
Hillion HP, Proth J (1989) Performance evaluation of job-shop systems using timed event-graph. IEEE Trans Autom Control 34(1):3–9
Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77(4):541–580
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–361
Li JQ, Fan YS, Zhou MC (2004) Performance modeling and analysis of workflow. IEEE Trans Syst Man Cybern Part A 34(2):229–242
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–337
Wu NQ, Zhou MC (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Trans Robot Autom 17(5):658–669
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–305
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–69
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–51
Fanti MP, Zhou MC (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans Syst Man Cybern Part A 34(1):5–22
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–656
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hu, H., Li, Z. Modeling and scheduling for manufacturing grid workflows using timed Petri nets. Int J Adv Manuf Technol 42, 553–568 (2009). https://doi.org/10.1007/s00170-008-1608-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-008-1608-0