For the most recent entries see the Petri Nets Newsletter.

Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism.

Julia, S.; Machado, C.M.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography