Journal article
Petri-net based formulation and algorithm for short-term scheduling of batch plants
Computers & Chemical Engineering, Vol.29(2), pp.249-259
2005
Abstract
Effective scheduling of operations in batch plants has a great potential for high economic returns, in which the formulation and optimal solution algorithm are the main issues of study. Petri-nets have proven to be a promising technique to solve many difficult problems associated with the modeling, formal analysis, design and coordination control of discrete event systems. One of the major advantages of using a Petri-net model is that the same model can be used for the analysis of behavioral properties and performance evaluation, as well as for the systematic construction of discrete event simulators and controllers. This paper aims to present a Petri-net based approach for the scheduling of operations in batch plants. Firstly, the short-term scheduling of batch plants is formulated using timed Petri-net. Secondly, the heuristic search algorithm for scheduling of batch plants is given, which is based on generating and checking the markings in the reachability tree of the Petri-net model. Finally, the novel formulation and algorithm are tested using two simulation case studies, and compared against traditional methods.
Details
- Title
- Petri-net based formulation and algorithm for short-term scheduling of batch plants
- Authors/Creators
- M. Ghaeli (Author/Creator) - Curtin UniversityP.A. Bahri (Author/Creator) - Murdoch UniversityP. Lee (Author/Creator) - Curtin UniversityT. Gu (Author/Creator) - Guilin University of Electronic Technology
- Publication Details
- Computers & Chemical Engineering, Vol.29(2), pp.249-259
- Publisher
- Elsevier
- Identifiers
- 991005543248807891
- Copyright
- © 2004 Elsevier Ltd.
- Murdoch Affiliation
- School of Engineering
- Language
- English
- Resource Type
- Journal article
Metrics
68 Record Views
InCites Highlights
These are selected metrics from InCites Benchmarking & Analytics tool, related to this output
- Collaboration types
- Domestic collaboration
- International collaboration
- Citation topics
- 4 Electrical Engineering, Electronics & Computer Science
- 4.47 Software Engineering
- 4.47.408 Model Checking
- Web Of Science research areas
- Computer Science, Interdisciplinary Applications
- Engineering, Chemical
- ESI research areas
- Chemistry