Murdoch University Research Repository

Welcome to the Murdoch University Research Repository

The Murdoch University Research Repository is an open access digital collection of research
created by Murdoch University staff, researchers and postgraduate students.

Learn more

Timed petri-net based formulation and an algorithm for the optimal scheduling of batch plants

Gu, T., Bahri, P.A.ORCID: 0000-0003-4661-5644 and Cai, G. (2003) Timed petri-net based formulation and an algorithm for the optimal scheduling of batch plants. International Journal of Applied Mathematics and Computer Sciences, 13 (4). pp. 527-536.

[img]
Preview
PDF - Published Version
Download (190kB)
Free to read: https://www.amcs.uz.zgora.pl/?action=paper&paper=1...
*No subscription required

Abstract

The effective scheduling of operations in batch plants has a great potential for high economic returns, in which the formulation and an optimal solution algorithm are the main issues of study. Petri nets have proven to be a promising technique for solving many difficult problems associated with the modelling, 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 behavioural properties and performance evaluation, as well as for the systematic construction of discrete-event simulators and controllers. This paper aims at presenting a Petri-net based approach to the scheduling of operations in batch plants. Firstly, the short term of the ‘scheduling of batch plants ’ is formulated by means of a timed Petri net which can accommodate various intermediate storage policies, such as unlimited intermediate storage (UIS), no intermediate storage (NIS), finite intermediate storage (FIS), and mixed intermediate storage (MIS). Secondly, a heuristic search algorithm for the optimal 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 with several simulation case studies.

Item Type: Journal Article
Murdoch Affiliation: School of Engineering
Publisher: University of Zielona Gora & Lubusky Scientific Society, Zielona Gora, Poland
Copyright: 2003 The Authors
URI: http://researchrepository.murdoch.edu.au/id/eprint/28592
Item Control Page Item Control Page

Downloads

Downloads per month over past year