Szukana fraza: [Abstract = "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."]