期刊文献+

柔性制造系统中生产调度问题的零压缩二叉决策图算法

Symbolic ZBDD-based algorithm for scheduling in flexible manufacturing systems
原文传递
导出
摘要 针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩二叉决策图表示,避免了状态和搜索的显式枚举,实现了隐式高效操作,有效地改善了算法的计算性能.实验结果表明了算法的有效性. To solve the production scheduling in flexible manufacturing systems(FMS) based on timed and bounded Petri net models,the bounded Petri net is represented symbolically by zero-suppressed binary decision diagrams(ZBDD),and the symbolic ZBDD-based algorithm is developed.In this scheme,the marking vectors or states in Petri net are formulated compactly,and the search processes are manipulated explicitly.Thereby the time and space performances of searching Petri net are improved.The experimental results show the effectiveness of the symbolic algorithm.
出处 《控制与决策》 EI CSCD 北大核心 2010年第5期657-662,共6页 Control and Decision
基金 国家自然科学基金项目(60903010 60903079) 广西自然科学基金重点项目(0832006Z)
关键词 柔性制造系统 赋时有界Petri网 生产调度 零压缩二叉决策图 符号算法 Flexible manufacturing systems Timed and bounded Petri net Production scheduling Zero-suppressed binary decision diagram Symbolic algorithm
  • 相关文献

参考文献21

  • 1Lee D Y, Dicesare E Scheduling flexible manufacturing systems using Petri nets and heuristic search[J]. IEEE Trans on Robotics and Automation, 1994, 10(2): 123-132.
  • 2Gu T L, Parisa A B. A survey of Petri-net applications in batch processes[J]. Computers in Industry, 2002, 47(1): 99-111.
  • 3Shih H, Sekiguchi T. A timed Petri net and beam search based on-line FMS scheduling systems with routing flexibility[C]. Proc of IEEE Int Conf on Robotics and Automation. Piscataway: IEEE Press, 1991: 2548-2553.
  • 4Onagak K, Silva M, Watanabe T. On periodic schedules for deterministically timed Petri net systems[C]. Proc of the 4th Int Workshop on Petri Nets and Performance Models. Melbourne, 1991: 210-215.
  • 5Shem L, Chen Q, Luh J Y S. Truncation of Petri net models of scheduling problems for optimum solutions[C]. Proc of the Japan/USA Symposium on Flexible Automation. San Francisco, 1992: 1681-1688.
  • 6Zhang D. Planning using timed Pr/T nets[C]. Proc of the Japan/USA Symposium on Flexible Automation. San Francisco, 1992:1179-1183.
  • 7Sun T H, Cheng C W, Fu L C. A Petri net based approach to modeling and scheduling and for an FMS and a case study[J]. IEEE Trans on Industrial Electronics, 1994, 41(6): 593-601.
  • 8薛雷,郝跃.面向集成电路制造的基于Petri网的生产调度[J].电子学报,2001,29(8):1064-1067. 被引量:15
  • 9Xiong H H, Zhou M C2 Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search[J]. IEEE Trans on Semiconductor Manufacturing, 1998, 11(3): 384- 393.
  • 10Moro A R, Yu H, Kelieher G, et al. Integrating Petri nets and hybrid heuristic search for scheduling FMS [J]. Computers in Industry, 2002, 47(1): 123-138.

二级参考文献31

  • 1古天龙,李风英.一类Petri网调度问题的符号求解技术[J].系统仿真学报,2005,17(z1):148-150. 被引量:2
  • 2郝东,蒋昌俊,林琳.基于Petri网与GA算法的FMS调度优化[J].计算机学报,2005,28(2):201-208. 被引量:27
  • 3袁崇义.Petri网原理[M].北京:电子工业出版社,1999..
  • 4Xu Gang, Wu Zhi-Ming. Deadlock-free scheduling method using Petri net model analysis and GA search. In: Proceedings of the 2002 International Conference on Control Applications, Glasgow, Scotland, 2002, 2: 1153~1158.
  • 5Xu Gang, Wu Zhi-Ming. Deadlock-Free Scheduling Strategy for Automated Production Cell. IEEE Transactions on Systems, Man and Cybernetics, Part A, 2004, 34(1): 113~122.
  • 6Zhou M.C., Jeng M.D. Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach. IEEE Transactions on Semiconductor Manufacturing, 1998, 11(3): 333~357.
  • 7Shih H., Sekiguchi T. A timed Petri net and beam search based on-line FMS scheduling systems with routing flexibility. In: Proceedings of IEEE International Conference on Robotics and Automation, Sacramento, 1991, 2548~2553.
  • 8Lee D.Y., DiCesare F. FMS scheduling using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation, 1994, 10(2): 123~132.
  • 9Sun Tien-Hsiang, Cheng Chao-Weng, Fu Li-Chen. A Petri net based approach to modeling and scheduling and scheduling for an FMS and a case study. IEEE Transactions on Industrial Electronics, 1994, 41(6): 593~601.
  • 10Lin Shun-Yu, Fu Li-Chen, Chiang Tsung-Che, Shen Yi-Shiuan. Colored timed Petri-net and GA based approach to modeling and scheduling for wafer probe center. In: Proceedings of the 2003 IEEE International Conference on Robotics and Automation, Taipei, 2003, 1: 1434~1439.

共引文献37

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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