In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, Vol. 4, pages 3110-3115. 2000.
Abstract: The objective of this paper is to study the scheduling problem for 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 used to compute a feasible scheduler consistent with the set of constraints.
Keywords: backtrack mechanism, batch systems, scheduling, time Petri nets, timed Petri nets.