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: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2020-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/9184032/ |
| _version_ | 1818853204109033472 |
|---|---|
| author | Jiazhong Zhou Jiliang Luo Dimitri Lefebvre Zhiwu Li |
| author_facet | Jiazhong Zhou Jiliang Luo Dimitri Lefebvre Zhiwu Li |
| author_sort | Jiazhong Zhou |
| collection | DOAJ |
| description | 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. Second, conflict relations between operations are obtained by operation-resource diagrams that describe how operations compete for resources, and are formally expressed by linear constraints. Third, monitor places are designed to enforce linear constraints on the transition-timed Petri net, and a plant net is consequently built and made free of conflicts between operations, which can well emulate a real batch production system. Fourth, an optimal schedule problem, where the optimization performance index is to minimize a makespan, is formalized based on a plant net. Finally, a new variant of filtered beam search method is proposed to solve the problem based on an ad hoc function and a dynamical timed extended reachability graph of a plant net. A typical chemical production plant illustrates the theoretic results. |
| first_indexed | 2024-12-19T07:33:06Z |
| format | Article |
| id | doaj.art-05ddca635bc5493d8c9766f4ca4c50a2 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-19T07:33:06Z |
| publishDate | 2020-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-05ddca635bc5493d8c9766f4ca4c50a22022-12-21T20:30:38ZengIEEEIEEE Access2169-35362020-01-01816345816347110.1109/ACCESS.2020.30208059184032Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic SearchJiazhong Zhou0https://orcid.org/0000-0001-7448-9038Jiliang Luo1https://orcid.org/0000-0001-7893-8056Dimitri Lefebvre2https://orcid.org/0000-0001-7060-756XZhiwu Li3https://orcid.org/0000-0003-1547-5503School of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaCollege of Information Science and Engineering, Huaqiao University, Xiamen, ChinaGREAH, University of Le Havre Normandie, Le Havre, FranceSchool of Electro-Mechanical Engineering, Xidian University, Xi’an, ChinaAn 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. Second, conflict relations between operations are obtained by operation-resource diagrams that describe how operations compete for resources, and are formally expressed by linear constraints. Third, monitor places are designed to enforce linear constraints on the transition-timed Petri net, and a plant net is consequently built and made free of conflicts between operations, which can well emulate a real batch production system. Fourth, an optimal schedule problem, where the optimization performance index is to minimize a makespan, is formalized based on a plant net. Finally, a new variant of filtered beam search method is proposed to solve the problem based on an ad hoc function and a dynamical timed extended reachability graph of a plant net. A typical chemical production plant illustrates the theoretic results.https://ieeexplore.ieee.org/document/9184032/Petri netmodelingoptimal scheduletimed extended reachability graphbatch production |
| spellingShingle | Jiazhong Zhou Jiliang Luo Dimitri Lefebvre Zhiwu Li Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search IEEE Access Petri net modeling optimal schedule timed extended reachability graph batch production |
| title | Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search |
| title_full | Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search |
| title_fullStr | Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search |
| title_full_unstemmed | Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search |
| title_short | Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search |
| title_sort | modeling and scheduling methods for batch production systems based on petri nets and heuristic search |
| topic | Petri net modeling optimal schedule timed extended reachability graph batch production |
| url | https://ieeexplore.ieee.org/document/9184032/ |
| work_keys_str_mv | AT jiazhongzhou modelingandschedulingmethodsforbatchproductionsystemsbasedonpetrinetsandheuristicsearch AT jiliangluo modelingandschedulingmethodsforbatchproductionsystemsbasedonpetrinetsandheuristicsearch AT dimitrilefebvre modelingandschedulingmethodsforbatchproductionsystemsbasedonpetrinetsandheuristicsearch AT zhiwuli modelingandschedulingmethodsforbatchproductionsystemsbasedonpetrinetsandheuristicsearch |