Skip to main content
SpringerLink
Log in

Component-based design for job-shop scheduling systems

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

Abstract

In this paper, a component-based system design method is introduced for modeling and optimizing the job-shop scheduling (JSS) system. Several operators are presented for handling the integration of JSS modules and resource sharing. For each operator, the partial schedule and makespan of each component are obtained. The optimal scheduling of a JSS system can be derived from these theoretical results step by step. With the component-based system design methodology, one can not only design a correct system model that is live, bounded, reversible, and terminates properly, but one can also find the optimal scheduling of JSS in a formal way.

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. Zhou M, DiCesare F (1993) Petri net synthesis for discrete event control of manufacturing systems. Kluwer, Dordrecht

    MATH  Google Scholar 

  2. Colom JM (2003) The resource allocation problem in flexible manufacturing systems. Lect Notes Comput Sci 2679:23–35. doi:10.1007/3-540-44919-1_3

    Article  MathSciNet  Google Scholar 

  3. Reveliotis SA (1998) Accommodating FMS operational contingencies through routing flexibility. Proceeding on IEEE International Conference on Robotics and Automation, 573–579

  4. Jiao L, Huang HJ, Cheung TY (2005) Property-preserving composition by place merging. J Circuit Syst Comput 14(4):793–812

    Article  Google Scholar 

  5. Huang HJ, Cheung TY, Wang X (2007) Applications of property-preserving algebras to manufacturing system design. J Inf Sci Eng 23:167–181

    Google Scholar 

  6. Mak WM (2001) Verifying property preservation for component-based software systems (A Petri-net based methodology). Ph.D. Dissertation, City University of Hong Kong

  7. Huang HJ (2004) Enhancing the property-preserving Petri net process algebra for component-based system design (with application to designing multi-agent systems and manufacturing systems). Ph.D. Dissertation, City University of Hong Kong -->

  8. Huang HJ, Cheung TY, Mak WM (2004) Structure and behaviour preservation by Petri-net-based refinements in system design. Theor Comput Sci 328(3):245–269. doi:10.1016/j.tcs.2004.07.016

    Article  MATH  MathSciNet  Google Scholar 

  9. Huang HJ, Jiao L, Cheung TY (2005) Property-preserving subnet reductions for designing manufacturing systems with shared resources. Theor Comput Sci 332(1–3):461–485. doi:10.1016/j.tcs.2004.12.010

    Article  MATH  MathSciNet  Google Scholar 

  10. Terry DK (1996) A Petri net-based on-line scheduling system for a general manufacturing job shop. Ph.D. Dissertation, Rensselaer Polytechnic Institute, Troy, New York

  11. Xue L, Hao Y (2001) Petri net based scheduling for integrated circuits manufacturing. ACTC Electron Sin 29(8):1064–1067

    Google Scholar 

  12. Wang YM, Xiao NF, Yin HL, Hu EL, Zhao CG, Jiang YR (2008) A two-stage genetic algorithm for large size job shop scheduling problems. Int J Adv Manuf Technol 39:813–820. doi:10.1007/s00170-007-1260-0->

    Article  Google Scholar 

  13. Gua YJ, Zhang XN, Cao Y, Zhao RJ, Lin TQ (2003) Workshop scheduling based on RCPN and system development on Internet/Intranet. Mini-micro Syst 24(7):1285–1288

    Google Scholar 

  14. Proth JM, Minis I (1995) Planning and scheduling based on Petri nets. In: Zhou MC (ed) Petri nets in flexible and agile automation. Kluwer, Boston, pp 109–148

    Google Scholar 

  15. Proth JM, Xie X (1997) Petri nets: a tool for design and management of manufacturing systems. Wiley, New York

    Google Scholar 

  16. Zhou M, Venkatesh K (1998) Modeling, simulation and control of flexible manufacturing systems: a Petri net approach. World Scientific, Singapore

    Google Scholar 

  17. Xiong HH, Zhou M (1998) Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search. IEEE Trans Semicond Manuf 11(3):384–393. doi:10.1109/66.705373

    Article  Google Scholar 

  18. Chen J, Chen FF (2003) Performance modeling and evaluation of dynamic tool allocation in flexible manufacturing systems using colored Petri nets:an object-oriented approach. Int J Adv Manuf Technol 21(2):98–109

    Google Scholar 

  19. Shih H, Sekiguchi T (1991) A timed Petri net and beam search based on-line FMS scheduling systems with routing flexibility. Proceedings of IEEE International Conference on Robotic and Automation, Sacramento 2548–2553

  20. Lee DY, DiCesare F (1994) FMS scheduling using Petri nets and heuristic search. IEEE Trans Robot Autom 10(2):123–132. doi:10.1109/70.282537

    Article  Google Scholar 

  21. 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(6):593–601. doi:10.1109/41.334576

    Article  Google Scholar 

  22. Lin SY, Fu LC, Chiang TC, Shen YS (2003) Colored timed Petri net and GA based approach to modeling and scheduling for wafer probe center. Proceedings of the 2003 IEEE. Int Conf Robot Autom 1:1434–1439

    Google Scholar 

  23. Chung YY, Fu LC, Lin MW (1998) Petri net based modeling and GA based scheduling for a flexible manufacturing system. Proceedings of the 37th IEEE Conference on Decision and Control 4, 4346–4347

  24. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580. doi:10.1109/5.24143

    Article  Google Scholar 

  25. Zhou M, Chiu H, Xiong H (1995) Petri net scheduling of FMS using branch and bound method. Industrial Electronics, Control, and Instrumentation, 1995, Proceedings of the 1995 IEEE IECON 211–216

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Harbin Institute of Technology Shenzhen Graduate School, 518055, Shenzhen, China

    Hejiao Huang

Authors
  1. Hejiao Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hejiao Huang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Huang, H. Component-based design for job-shop scheduling systems. Int J Adv Manuf Technol 45, 958–967 (2009). https://doi.org/10.1007/s00170-009-2022-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-009-2022-y

Keywords

Search

Navigation