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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location :
Nashville, TN
Print_ISBN :
0-7803-6583-6
DOI :
10.1109/ICSMC.2000.884476
