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 条
  • [1] Constraint Logic Programming and scheduling problems
    Varnier, C
    Baptiste, P
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2942 - 2946
  • [2] Solving distributed constraint optimization problems using logic programming
    Le, Tiep
    Son, Tran Cao
    Pontelli, Enrico
    Yeoh, William
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (04) : 634 - 683
  • [3] Solving Distributed Constraint Optimization Problems Using Logic Programming
    Tiep Le
    Tran Cao Son
    Pontelli, Enrico
    Yeoh, William
    [J]. PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1174 - 1181
  • [4] On temporal logic programming using Petri nets
    Zaidi, AK
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (03): : 245 - 254
  • [5] Modeling and solving constraint satisfaction problems through Petri nets
    Portinale, L
    [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 348 - 366
  • [6] Solving transient scheduling problems with constraint programming
    Korbaa, O
    Yim, P
    Gentina, JC
    [J]. EUROPEAN JOURNAL OF CONTROL, 2000, 6 (06) : 511 - 520
  • [7] Transient inter-production scheduling based on Petri nets and constraint programming
    Bourdeaud'huy, Thomas
    Belkahla, Olfa
    Yim, Pascal
    Korbaa, Ouajdi
    Ghedira, Khaled
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2011, 49 (22) : 6591 - 6608
  • [8] Reachability search in timed Petri nets using constraint programming
    Dress, OB
    Yim, P
    Korbaa, O
    Ghedira, K
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4923 - 4928
  • [9] Nurse scheduling using constraint logic programming
    Abdennadher, S
    Schlenker, H
    [J]. SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 838 - 843
  • [10] Solving dynamic resource constraint project scheduling problems using new constraint programming tools
    Elkhyari, A
    Guéret, C
    Jussien, N
    [J]. PRACTICE AND THEORY OF AUTOMATED TIMETABLING IV, 2003, 2740 : 39 - 59
12345