DocumentCode
1737780
Title
Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism
Author
Julia, Stéphane ; Júnior, Clarimundo Machado M
Author_Institution
Fac. de Ciencia da Comput., UFU, Uberlandia, Brazil
Volume
4
fYear
2000
fDate
2000
Firstpage
3110
Abstract
The objective of this paper is to study the scheduling problem of batch systems with a cyclic feeding policy. The proposed approach is based on the formal representation of the system constraints by using a p-time t-timed Petri net model. A token player algorithm with an intelligent backtrack mechanism is then used to compute a feasible schedule consistent with the set of constraints
Keywords
Petri nets; backtracking; batch processing (industrial); resource allocation; scheduling; batch systems scheduling; cyclic feeding policy; formal representation; intelligent backtrack mechanism; p-time t-timed Petri net model; resource allocation; token player algorithm; Chemistry; Dairy products; Globalization; Inductors; Job shop scheduling; MONOS devices; Optimal scheduling; Processor scheduling; Raw materials; Scheduling algorithm;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location
Nashville, TN
ISSN
1062-922X
Print_ISBN
0-7803-6583-6
Type
conf
DOI
10.1109/ICSMC.2000.884476
Filename
884476
Link To Document