Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search
An approach is proposed for modeling and scheduling batch production systems based on Petri nets. First, a group of jobs to be carried out by a batch production system is modeled by a transition-timed Petri net according to logical relations between operations and time requirements on operations. Se...
Main Authors: | Jiazhong Zhou, Jiliang Luo, Dimitri Lefebvre, Zhiwu Li |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2020-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9184032/ |
Similar Items
-
An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets
by: Dongming Xiang, et al.
Published: (2021-02-01) -
Design of a Petri net supervisor for multi-cluster tools to improve scheduling performance
by: Masaru SAKAI, et al.
Published: (2018-07-01) -
Online Fault Diagnosis of Labeled Petri Nets Based on Reachability Graphs and Topological Sorting
by: Ya Wang, et al.
Published: (2020-01-01) -
An Automatic Algorithm to Generate a Reachability Tree for Large-Scale Fuzzy Petri Net by And/Or Graph
by: Kai-Qing Zhou, et al.
Published: (2018-10-01) -
The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems
by: Chuanliang Xia, et al.
Published: (2022-04-01)