期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于时间Petri网的区间作业车间调度问题建模与分析 被引量：2

Modelling and Analysis of Interval Job Shop Scheduling Problems Based on Time Petri Nets
下载PDF
导出
摘要 区间作业车间调度问题近年来已成为生产调度研究的热点,现有研究工作主要集中于问题描述和优化求解方面,在理论模型、动态性质等方面还缺乏实质性成果.使用时间Petri网模型建模区间作业车间调度问题,并运用状态类可达性分析方法,分析模型所有可行调度,进而求解具有最小下界和最小上界的优化调度,为区间作业车间调度问题的建模与分析提供有益参考. Interval job-shop scheduling problem is a new research hotspot in work-shop scheduling. The existing research work focused on problem description and optimization, but substantial results is lacking on theoretical model and dynamic properties. We present a time Petri net to model interval job-shop scheduling problems, and uses a reachability method based on state classes to analyze all feasible schedules of this model, and then solves optimal schedules with least upper bound and least lower bound. The proposed method can provide a helpful reference for modelling and analyzing interval job-shop scheduling problems.
作者 潘理 杨勃
机构地区 湖南理工学院信息与通信工程学院
出处 《湖南理工学院学报（自然科学版）》 CAS 2016年第1期33-36,共4页 Journal of Hunan Institute of Science and Technology(Natural Sciences)
基金 国家自然科学基金项目(61473118) 湖南省教育厅科学研究重点项目(15A079) 湖南省科技计划项目(2014GK3026)
关键词 区间作业车间调度 时间PETRI网 建模与分析 interval job shop scheduling, time Petri nets, modelling and analysis
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献1

二级参考文献10

  • 1Merlin PM, Farber DJ. Recoverability of communication protocols implications of a theoretical study. IEEE Trans. on Communications, 1976,24(9):1036-1043. [doi: 10.1109/TCOM.1976.1093424].
  • 2Berthomieu B, Diaz M. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Software Engineering, 1991,17(3):259-273. [doi: 10.1109/32.75415].
  • 3Boyer M, Roux OH. Comparison of the expressiveness of arc, place and transition time Petri nets. In: Proc. of the 28th Int'l Conf. on Application and Theory of Petri Nets and other Models of Concurrency. LNCS 4546, Berlin: Springer-Verlag, 2007.63-82. [doi: 10.1007/978-3 -540-73094-1 _7].
  • 4Felder M, Mandrioli D, Morzenti A. Proving properties of real-time systems through logical specifications and Petri net models. IEEE Trans. on Software Engineering, 1994,20(2): 127-141. [doi: 10.1109/32.265634].
  • 5Koutny M. A compositional model of time Petri nets. In: Proc. of the 21st Int'l Conf. on Application and Theory of Petri Nets. LNCS 1825, Berlin: Springer-Verlag, 2000. 303-322. [doi: 10.1007/3-540-44988-4_18].
  • 6Esparza J. Decidability and complexity of Petri net problems--An introduction. In: Proc. of the Lectures on Petri Nets I: Basic Models. LNCS 1491, 1998. 374-428. [doi: 10.1007/3-540-65306-6_20].
  • 7Berthomieu B, Lime D, Roux OH, Vernadat F. Reachability problems and abstract state spaces for time Petri nets with stopwatches. Discrete Event Dynamic System, 2007,17(2): 133-158. [doi: 10.1007/s10626-006-001 l-y].
  • 8Alain RP, Amaud S. Weak time Petri nets strike back. In: Proc. of the 20th Int'l Conf. on Concurrency Theory. LNCS 5710, Berlin: Springer-Verlag, 2009. 557-571. [doi: 10.1007/978-3-642-04081-8_37].
  • 9Wang JC, Dang Y, Xu G. Reachability analysis of real-time systems using time Petri nets. IEEE Trans. on Systems, Man, and Cybernetics, Part B: Cybernetics, 2000,30(5):725-736. [doi: 10.1109/3477.875448].
  • 10Peterson JL, Wrote; Wu ZH, Trans. Petri Net Theory and the Modeling of Systems. Xuzhou: China University of Mining and Technology Press, 1989.

共引文献10

同被引文献9

引证文献2

二级引证文献4

湖南理工学院学报（自然科学版）
2016年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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