...
首页> 外文期刊>International Journal of Production Research >Transient inter-production scheduling based on Petri nets and constraint programming
【24h】

Transient inter-production scheduling based on Petri nets and constraint programming

机译:基于Petri网和约束规划的临时生产间调度

获取原文
获取原文并翻译 | 示例
           

摘要

In this article, we focus on the transient inter-production scheduling problem between two cyclic productions in the framework of flexible manufacturing systems. This problem is first formulated as a reachability problem in timed Petri nets (TPN), then solved using a methodology based on constraint programming. Our work is based on the controlled executions proposed by Chretienne to model the sequence of transition firing dates. Our methodology is based on a preliminary resolution of the state equation between initial and final states in the underlying non-TPN. Then, we choose a duration T_(max) corresponding to the maximal duration time of the scheduling. For each solution S of the state equation, we build a controlled execution from the sequence of firings in S. After the propagation of firing date constraints and reachability constraints in the TPN, we use constraint programming to enumerate the set of feasible controlled executions.
机译:在本文中,我们将重点放在柔性制造系统框架内的两个循环生产之间的瞬时生产间计划问题。该问题首先在定时Petri网(TPN)中表述为可达性问题,然后使用基于约束规划的方法进行求解。我们的工作基于Chretienne提出的受控执行,以模拟过渡点火日期的顺序。我们的方法基于基础非TPN中初始状态和最终状态之间状态方程的初步解析。然后,我们选择与调度的最大持续时间相对应的持续时间T_(max)。对于状态方程的每个解S,我们从S中的点火序列构建受控执行。在点火日期约束和可达性约束在TPN中传播之后,我们使用约束编程来枚举可行的受控执行的集合。

著录项

  • 来源
    《International Journal of Production Research》 |2011年第24期|p.6591-6608|共18页
  • 作者单位

    Laboratoire d'Automatique, Genie Informatique et Signal, Ecole Centrale de Lille, Cite Scientifique, 5960 Villeneuve d'Ascq, France;

    Laboratoire d'Automatique, Genie Informatique et Signal, Ecole Centrale de Lille, Cite Scientifique, 5960 Villeneuve d'Ascq, France;

    Laboratoire d'Automatique, Genie Informatique et Signal, Ecole Centrale de Lille, Cite Scientifique, 5960 Villeneuve d'Ascq, France;

    Laboratoire d'Automatique, Genie Informatique et Signal, Ecole Centrale de Lille, Cite Scientifique, 5960 Villeneuve d'Ascq, France;

    Laboratoire d'Automatique, Genie Informatique et Signal, Ecole Centrale de Lille, Cite Scientifique, 5960 Villeneuve d'Ascq, France;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    cyclic scheduling; transient production; petri nets; constraint programming;

    机译:循环调度;临时生产;皮氏网约束规划;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号