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 条
  • [41] GA approach to solving reachability problems for Petri nets
    Tokyo Inst of Technology, Yokohama-shi, Japan
    IEICE Trans Fund Electron Commun Comput Sci, 11 (1774-1780):
  • [42] Operation binding and scheduling for low power using constraint logic programming
    Gruian, F
    Kuchcinski, K
    24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 83 - 90
  • [43] A TAXONOMY OF FAIRNESS AND TEMPORAL LOGIC PROBLEMS FOR PETRI NETS
    HOWELL, RR
    ROSIER, LE
    YEN, HC
    THEORETICAL COMPUTER SCIENCE, 1991, 82 (02) : 341 - 372
  • [44] Petri nets and linear logic as an aid for scheduling batch processes
    Champagnat, Ronan
    Pradin-Chezalviel, Brigitte
    Valette, Robert
    Journal Europeen des Systemes Automatises, 2001, 35 (04): : 451 - 465
  • [45] Continuous approach of scheduling problems based on Petri nets
    Proth, JM
    Sauer, N
    ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 717 - 723
  • [46] Petri nets for the formulation of aperiodic scheduling problems in FMSs
    Jeng, MD
    Lin, CS
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 375 - 380
  • [47] Solving the Petri nets reachability problem using the logical abstraction technique and mathematical programming
    Bourdeaud'huy, T
    Hanafi, S
    Yim, P
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, 2004, 3011 : 112 - 126
  • [48] Real-time scheduling of batch systems using Petri nets and linear logic
    Soares, Michel dos Santos
    Julia, Stephane
    Vrancken, Jos
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (11) : 1983 - 1996
  • [49] PETRI NETS IN LOGIC
    DOMENICI, A
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 193 - 198
  • [50] SOLVING LARGE COMBINATORIAL PROBLEMS IN MOLECULAR-BIOLOGY USING THE ELIPSYS PARALLEL CONSTRAINT LOGIC PROGRAMMING SYSTEM
    CLARK, DA
    RAWLINGS, CJ
    SHIRAZI, J
    LI, LL
    SCHUERMAN, K
    REEVE, M
    VERON, A
    COMPUTER JOURNAL, 1993, 36 (08): : 690 - 701
12345