Solving scheduling problems using Petri nets and constraint logic programming

被引：0
|
作者：
Richard, P [1 ]
Proust, C [1 ]
机构：
[1] Univ Tours, Ecole Ingn Informat Ind, Lab Informat, F-37913 Tours, France
来源：
RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH | 1998年 / 32卷 / 02期
关键词：
scheduling; Petri nets; constraint logic programming;
D O I：
暂无
中图分类号：
C93 [管理学]; O22 [运筹学];
学科分类号：
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要：
This paper presents an approach to solve scheduling problems from a Petri net model. A timed Petri net describes feasible sequences and schedules of operations. The net is then translated into a CHIP program. Build-in solver of the constraint logic programming language is used to solve the associated scheduling problem. The implementation of the OPTNET software and some results are described. (C) Elsevier, Paris.
引用
收藏
页码：125 / 143
页数：19
相关论文
共 50 条
  • [21] Cyclical staff scheduling using constraint logic programming
    Chan, P
    Weil, G
    PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, 2001, 2079 : 159 - 175
  • [22] Flexible Job Shop Models for solving scheduling and layout problems Using Coloured petri nets.
    Eloundou, Jose
    Baudry, David
    Sahnoun, M'hammed
    Bensrhair, Abdelaziz
    Louis, Anne
    Mazari, Belahcene
    ADVANCED MATERIALS, MECHANICS AND INDUSTRIAL ENGINEERING, 2014, 598 : 638 - 642
  • [23] Constraint programming with object-oriented Petri nets
    Sanders, MJ
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 289 - 294
  • [24] Logic programming approaches for representing and solving constraint satisfaction problems A comparison
    Pelov, N
    De Mot, E
    Denecker, M
    LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 225 - 239
  • [25] CONSTRAINT LOGIC PROGRAMMING FOR SCHEDULING AND PLANNING
    LEVER, J
    WALLACE, M
    RICHARDS, B
    BT TECHNOLOGY JOURNAL, 1995, 13 (01): : 73 - 80
  • [26] WORKFORCE SCHEDULING WITH CONSTRAINT LOGIC PROGRAMMING
    AZARMI, N
    ABDULHAMEED, W
    BT TECHNOLOGY JOURNAL, 1995, 13 (01): : 81 - 94
  • [27] Use of constraints in Petri nets for modelling and solving scheduling problems in preliminary system design
    Boutet, F
    Motet, G
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 576 - 581
  • [28] MODELING SCHEDULING PROBLEMS WITH TIMED PETRI NETS
    CARLIER, J
    CHRETIENNE, P
    GIRAULT, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 62 - 82
  • [29] Constraint Based Scheduling: Applying Constraint Programming to Scheduling Problems
    Edward Tsang
    Journal of Scheduling, 2003, 6 (4) : 413 - 414
  • [30] FORMULATING AND SOLVING OPTIMIZATION PROBLEMS USING STOCHASTIC TIMED PETRI NETS
    CHEN, PZ
    BRUELL, SC
    BALBO, G
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 769 - 792
12345