期刊文献+

半导体制造系统基于资源的Petri网调度优化 被引量:2

Resource-Based Petri-net Scheduling Optimization for Wafer Fabrication Systems
下载PDF
导出
摘要 对半导体制造系统调度难点,分两步予以解决:第一步,提出三种策略解决系统建模问题,包括基于资源的Petri网模型构建模式,对系统结构建模;引入整合性定义方法对系统功能建模;以及通过多种变迁种类的引入实现对系统行为建模.第二步,在此模型基础上,引入蚁群优化算法对模型求调度优化解.与仿真结果的对比显示此方案取得了明显效果. A two-step way including modeling and scheduling is proposed to mlve scheduling optimization for wafer fabrication systems. A resource-based Petri net is proposed to model the structure of the system which can reduce the Petri net scale. Integrated definition function modeling (IDEF0) method is introduced into the characterzing of the function of the system at length; and the system' s behaviour is described by more than one sort of transitions. For scheduling, Ant colony optimization algorithm is introduced into the searching of the model for optimized scheduling. The results compared with the simulation prove this two-step way effective in reducing the cycle time.
出处 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第5期674-679,共6页 Journal of Tongji University:Natural Science
基金 国家自然科学基金资助项目(70501018) 中国博士后基金资助项目(20060400677)
关键词 半导体制造 建模 PETRI网 整合性定义方法论 调度 semiconductor manufacturing model Petri net integrated definition function modeling scheduling
  • 相关文献

参考文献12

  • 1Mejia G. Timed Petri net modeling and optimization with heuristic search for flexible manufacturing workstations [ C]// IEEE Conference on Emerging Technologies and Factory Automation. Lisbon: [s. n. ] ,2003:211 - 217.
  • 2Reyes A, Yu H N, Kelleher G, et al. Integrating petri nets and hybrid heuristic scareh for the scheduling of FMS[J]. Computers in Industry, 2002,47: 123.
  • 3Moro A R,Yu H N, Kelleher G. Hybrid heuristic search for the scheduling of flexible manufacturing systems using Petri nets[J]. IEEE Transactions on Robotics and Automation, 2002, 18 (2) : 240.
  • 4Yu H, Reyes A, Cang S, et al. Combined Petri net modeling and Al-based heuristic hybrid search for flexible manufacturing systerns, part Ⅱ:heuristic hybrid search[J]. Computers and Industrial Engineering,2003,44: 545.
  • 5Lin Shun-Yu, Fu Li-Chen, Chiang Tsung-Che, et al. Colored timed Petri-net and GA based approach to modeling and scheduling for wafer probe center[C] //Proceedings of the 2003 IEEE International Conference on Robotics & Automation. Taipei: [s. n. ] ,2003 : 14 - 19.
  • 6Chen Jyh-Horng,Fu Li-Chen, Lin Ming Hung. Petri-net and GA based approach to modeling scheduling and performance evaluation for wafer fabrication[ J ]. IEEE Transactions on Robotics and Automation,2001,17(5) :619.
  • 7Wen Hung, Fu Li-Chen, Huang Shih-shinh. Modeling, scheduling and prediction in wafer fabrication systems using queuing Petri net and genetic algorithm[ C] // proceedings of the 2001 IEEE International Conference Ⅰ Robotics & Automation, Seoul: [s. n. ], 2001: 21 - 26. 3559 - 3564.
  • 8Becket M, Modeling and simulation of a complete semiconductor manufacturing facility using Petri nets[ C]//Emerging Technologies and Factory Automation, Proceedings. ETFA' 03, [ s. l. ]: ETFA apos,2003 : 16 - 19.
  • 9邵志芳,刘仲英,陆云波.带回流复杂制造系统基于资源的Petri网仿真原型[J].系统仿真学报,2007,19(22):5249-5253. 被引量:2
  • 10Zurawski R,Zhou M C. Petri nets and industrial applications: A tutorial[ J ]. IEEE trans, on Industrial Electronics, 1994,41 ( 6 ) 567.

二级参考文献16

  • 1Kumar P R. Scheduling semiconductor manufacturing plants [J]. IEEE Control Systems (S0272-1708), 1994, 9 (1): 33-40.
  • 2Kumar S, Kumar P R. Queuing network models in the design and analysis of semiconductor wafer fabs [J]. IEEE transactions on robotics and automation (S1042-296X), 2001, 17(5): 548-561.
  • 3Ginzalo Mejia. Timed Petri net modeling and optimization with heuristic search for flexible manufacturing workstations [C]// Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference (S0090-3507), 2003, (V1): 211-217.
  • 4A Reyes, H Yu, G Kelleher, S Lioyd. Integrating petri nets and hybrid heuristic search for the scheduling of FMS [J]. Computers in Industry (S0166-3615) , 2002, 47(1): 123-138.
  • 5Antonio Reyes Moro, Hongnian Yu, Gerry Kelleher. Hybrid Heuristic Search for the Scheduling of Flexible Manufacturing Systems Using Petri Nets [J]. IEEE Transactions on Robotics and Automation ( S 1042-296X ) , 2002, 18(2): 240-245.
  • 6Mu Der Jeng, Shih Chang Chen. Heuristic Search Based on Petri Net Structures for FMS Scheduling [J]. IEEE Transactions On Industry Applications (S0093-9994) , 1999, 35(1): 196-202.
  • 7Mu Der Jeng, Wan Der Chiou, Yuan Lin Wen. Deadlock-free scheduling of flexible manufacturing systems based on heuristic search and petri net structures [C]//Proceedings of the 28th International Conference on Systems, Man and Cybernetics, San Diego, California, USA. 1998: 26-31.
  • 8H Yu, A Reyes, S Cang, S Lloyd. Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems-part Ⅱ. Heuristic hybrid search [J]. Computers And Industrial Engineering (S0360-8352) , 2003, 44(4) : 545-566.
  • 9Shun-Yu Lin, Li-Chen Fu, Tsung-Che Chiang, Yi-Shiuan Shen. Colored timed petri-net and GA based approach to modeling and scheduling for wafer probe center [C]// Proceedings of the 2003 IEEE international conference on robotics & automation (S 1050-4729) , Taipei, Tanwan, 2003: 14-19.
  • 10Jyh-Homg Chert, Li-Chen Fu, Ming Hung Lin. Petri -net and GA based approach to modeling scheduling and performance evaluation for wafer fabrication [J]. IEEE Transactions on Robotics and Automation, 2001, 17(5): 619-636.

共引文献1

同被引文献26

  • 1郝东,蒋昌俊,林琳.基于Petri网与GA算法的FMS调度优化[J].计算机学报,2005,28(2):201-208. 被引量:27
  • 2马慧民,叶春明.半导体炉管区批调度问题的粒子群优化算法研究[J].计算机集成制造系统,2007,13(6):1121-1126. 被引量:7
  • 3Song Y, Zhang M T, Yi J, et al. Bottleneck station scheduling in semiconductor assembly and test manufacturing using ant colony optimization [J]. Automation Science and Engineering, IEEE Transactions on, 2007, 4 (4):569-578.
  • 4Lin J T, Wang F K, Lee W T. Capacity-constrained scheduling for a logic IC final test facility [J ]. International Journal of Production Research, 2004, 42 (1):79-99.
  • 5LEE Y. Supply chain model for the semiconductor industry of global market [J]. Journal of systems integration, 2001, 10 (3):189-206.
  • 6凌继远.半导体产业多阶多厂产能分配机制之构建[D].中国台湾:交通大学,2006.
  • 7Ma H, Ye C, Zhang S. Knowledge evolution algorithm for capacitated lot sizing problem [A]. Proceeding of the Second International Joint Conference on Computational Sciences and Optimization[C]// IEEE Service Center, 2009: 999- 1002.
  • 8Lee D Y,DiCesare F.Scheduling flexible manufacturing systems using Petri nets and heuristic search[J].IEEE Trans Robotics and Automation,1994,10(2):123-132.
  • 9Wu N Q,Zhou M C,Chu F.A Petri net-based heuristic algorithm for realizability of target refining schedule for oil refinery[J].IEEE Trans Automation Science and Engineering,2008,5(4):661-676.
  • 10Lee J,Lee J S.Heuristic search for scheduling flexible manufacturing systems using lower bound reachability matrix[J].Computers and Industrial Engineering,2010,59 (59):799-806.

引证文献2

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部