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 条
  • [31] Scheduling of flexible manufacturing systems using Timed Petri nets and mathematical programming
    Bourdeaud'huy, Thomas
    Hanafi, Said
    Yim, Pascal
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 94 - +
  • [32] ASP-DPOP: Solving Distributed Constraint Optimization Problems with Logic Programming
    Le, Tiep
    Son, Tran Cao
    Pontelli, Enrico
    Yeoh, William
    AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 1337 - 1338
  • [33] Unidirectional quay crane scheduling problems solving by combination of mixed integer programming and constraint programming
    Qin, Tian-Bao
    Ge, Hao
    Sha, Mei
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2015, 21 (02): : 546 - 555
  • [34] Management of electronic ledger: a constraint programming approach for solving curricula scheduling problems
    Shaikh, Aftab Ahmed
    Khan, Abdullah Ayub
    INTERNATIONAL JOURNAL OF ELECTRONIC SECURITY AND DIGITAL FORENSICS, 2023, 15 (01) : 88 - 99
  • [35] An investigation of scheduling in distributed constraint logic programming
    Villaverde, K
    Pontelli, E
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2004, : 98 - 103
  • [36] Automatic Generation of Mixed Integer Programming for Scheduling Problems Based on Colored Timed Petri Nets
    Porco, Andrea Veronica
    Ushijima, Ryosuke
    Nakamura, Morikazu
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2018, E101A (02): : 367 - 372
  • [37] A TAXONOMY OF FAIRNESS AND TEMPORAL LOGIC PROBLEMS FOR PETRI NETS
    HOWELL, RR
    ROSIER, LE
    YEN, HC
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 351 - 359
  • [38] Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics
    Bruno De Backer
    Vincent Furnon
    Paul Shaw
    Philip Kilby
    Patrick Prosser
    Journal of Heuristics, 2000, 6 : 501 - 523
  • [39] A GA approach to solving reachability problems for Petri nets
    Takahashi, K
    Yamamura, M
    Kobayashi, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (11) : 1774 - 1780
  • [40] Solving vehicle routing problems using constraint programming and metaheuristics
    Backer, BD
    Furnon, V
    Shaw, P
    Kilby, P
    Prosser, P
    JOURNAL OF HEURISTICS, 2000, 6 (04) : 501 - 523
12345