Component-based design for job-shop scheduling systems

International Journal of Advanced Manufacturing Technology

Volumn 45, Issue 9-10, 2009, Pages 958-967

  Huang, Hejiao ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

Author keywords

Component based system design; Extended Petri nets; Job shop scheduling

Indexed keywords

COMPONENT BASED DESIGN; COMPONENT-BASED SYSTEM DESIGN; EXTENDED PETRI NETS; JOB SHOP SCHEDULING; MAKESPAN; OPTIMAL SCHEDULING; RESOURCE SHARING; STEP-BY-STEP; SYSTEM MODELS; THEORETICAL RESULT;

DESIGN; GRAPH THEORY; MODEL STRUCTURES; OPTIMIZATION; PETRI NETS; SCHEDULING ALGORITHMS;

SCHEDULING;

EID: 70449525468     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-009-2022-y     Document Type: Article

References (25)

1. Zhou M, DiCesare F (1993) Petri net synthesis for discrete event control of manufacturing systems. Kluwer, Dordrecht
2. JM Colom 2003 The resource allocation problem in flexible manufacturing systems Lect Notes Comput Sci 2679 23 35 10.1007/3-540-44919-1-3 10.1007/3-540-44919-1-3 2050760
3. Reveliotis SA (1998) Accommodating FMS operational contingencies through routing flexibility. Proceeding on IEEE International Conference on Robotics and Automation, 573-579
4. L Jiao HJ Huang TY Cheung 2005 Property-preserving composition by place merging J Circuit Syst Comput 14 4 793 812 10.1142/S021812660500260X (Pubitemid 41374114)
5. HJ Huang TY Cheung X Wang 2007 Applications of property-preserving algebras to manufacturing system design J Inf Sci Eng 23 167 181 (Pubitemid 46198259)
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. HJ Huang TY Cheung WM Mak 2004 Structure and behaviour preservation by Petri-net-based refinements in system design Theor Comput Sci 328 3 245 269 10.1016/j.tcs.2004.07.016 1071.68076 10.1016/j.tcs.2004.07.016 2102352
9. HJ Huang L Jiao TY Cheung 2005 Property-preserving subnet reductions for designing manufacturing systems with shared resources Theor Comput Sci 332 1-3 461 485 10.1016/j.tcs.2004.12.010 1070.68104 10.1016/j.tcs.2004.12.010 2122515 (Pubitemid 40226804)
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. L Xue Y Hao 2001 Petri net based scheduling for integrated circuits manufacturing ACTC Electron Sin 29 8 1064 1067
12. YM Wang NF Xiao HL Yin EL Hu CG Zhao YR Jiang 2008 A two-stage genetic algorithm for large size job shop scheduling problems Int J Adv Manuf Technol 39 813 820 10.1007/s00170-007-1260-0-> 10.1007/s00170-007-1260-0
13. YJ Gua XN Zhang Y Cao RJ Zhao TQ Lin 2003 Workshop scheduling based on RCPN and system development on Internet/Intranet Mini-micro Syst 24 7 1285 1288
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
15. Proth JM, Xie X (1997) Petri nets: a tool for design and management of manufacturing systems. Wiley, New York
16. Zhou M, Venkatesh K (1998) Modeling, simulation and control of flexible manufacturing systems: a Petri net approach. World Scientific, Singapore
17. HH Xiong M Zhou 1998 Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search IEEE Trans Semicond Manuf 11 3 384 393 10.1109/66.705373 10.1109/66.705373
18. J Chen FF Chen 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
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. DY Lee F DiCesare 1994 FMS scheduling using Petri nets and heuristic search IEEE Trans Robot Autom 10 2 123 132 10.1109/70.282537 10.1109/70.282537
21. TH Sun CW Cheng LC Fu 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 10.1109/41.334576 10.1109/41.334576
22. SY Lin LC Fu TC Chiang YS Shen 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
23. th IEEE Conference on Decision and Control 4, 4346-4347
24. T Murata 1989 Petri nets: properties, analysis and applications Proc IEEE 77 4 541 580 10.1109/5.24143 10.1109/5.24143
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