Scheduling for batch processes based on clustering approximated timed reachability graphs

被引：0
作者：
Zhou, Jiazhong [1 ,2 ]
Lefebvre, Dimitri [3 ]
Li, Zhiwu [2 ,4 ]
机构：
[1] Huaqiao Univ, Coll Informat Sci & Engn, Xiamen 361021, Peoples R China
[2] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[3] Univ La Havre Normandie, Normandie Univ, GREAH UR 3220, F-76600 Le Havre, France
[4] Macau Univ Sci & Technol, Inst Syst Engn, Macau, Peoples R China
来源：
ISA TRANSACTIONS | 2024年 / 152卷
基金：
中国国家自然科学基金;
关键词：
Batch process; Timed Petri net; Reachability graph; Clustering algorithm; Scheduling; FLEXIBLE MANUFACTURING SYSTEMS; HEURISTIC HYBRID SEARCH; PETRI NETS; MODEL CHECKING; STATE-SPACE; ALGORITHM; OPTIMIZATION;
D O I：
10.1016/j.isatra.2024.06.028
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
To solve some scheduling problems of batch processes based on timed Petri net models, timed extended reachability graphs (TERGs) and approximated TERGs can be used. Such graphs abstract temporal specifications and represent parts of timed languages. By exploring the feasible trajectories in a TERG, optimal schedules can be obtained with respect to the makespans of batch processes that are modeled by timed Petri nets. Nevertheless, the rapid growth of the number of states in a TERG makes the problem intractable for large systems. In this paper, we improve the existing clustering TERG approach, and we make it suitable for large sized batch processes. We also enlarge a systematic approach to model batch processes with timed Petri nets. Finally, a comprehensive example of scheduling problem is studied for an archetypal chemical production plant in order to illustrate the efficiency of the proposed approach.
引用
收藏
页码：290 / 298
页数：9
相关论文
共 50 条
  • [21] Integrated Scheduling and Dynamic Optimization for Network Batch Processes
    Chu, Yunfei
    You, Fengqi
    24TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, PTS A AND B, 2014, 33 : 523 - 528
  • [22] Heat integration for batch processes - Part 1: Process scheduling based on cascade analysis
    Zhao, XG
    O'Neill, BK
    Roach, JR
    Wood, RM
    CHEMICAL ENGINEERING RESEARCH & DESIGN, 1998, 76 (A6) : 685 - 699
  • [23] Heuristic Scheduling of Batch Production Processes Based on Petri Nets and Iterated Greedy Algorithms
    Zhao, Ziyan
    Liu, Shixin
    Zhou, Mengchu
    You, Dan
    Guo, Xiwang
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2022, 19 (01) : 251 - 261
  • [24] Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs
    Boucheneb, Hanifa
    Barkaoui, Kamel
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2011, 21 (02): : 171 - 204
  • [25] Scheduling of batch processes with operational uncertainties
    Orcun, S
    Altinel, IK
    Hortacsu, O
    COMPUTERS & CHEMICAL ENGINEERING, 1996, 20 : S1191 - S1196
  • [26] Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs
    Hanifa Boucheneb
    Kamel Barkaoui
    Discrete Event Dynamic Systems, 2011, 21 : 171 - 204
  • [27] FMS Scheduling under Availability Constraint with Supervisor Based on Timed Petri Nets
    Kammoun, Mohamed Ali
    Ezzeddine, Wajih
    Rezg, Nidhal
    Achour, Zied
    APPLIED SCIENCES-BASEL, 2017, 7 (04):
  • [28] Dynamic hybrid simulation of batch processes driven by a scheduling module
    Fabre, Florian
    Hetreux, Gilles
    Le Lann, Jean-Marc
    Zarate, Pascale
    COMPUTERS & CHEMICAL ENGINEERING, 2011, 35 (10) : 2098 - 2112
  • [29] AN INTEGRATED HYBRID PETRI NET AND GA BASED APPROACH FOR SCHEDULING OF MIXED BATCH/CONTINUOUS PROCESSES
    Liao Wei-Zhi
    Li Wen-Jing
    2012 11TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES), 2012, : 268 - 272
  • [30] Stochastic Scheduling for Batch Processes With Downstream Queue Time Constraints
    Chien, Wen-Chi
    Chou, Ywh-Leh
    Wu, Cheng-Hung
    IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 2023, 36 (04) : 599 - 610
12345