Abstract
Production scheduling is one of the important problems in multiproduct batch plants. Timed Petri-netbased approach has been shown to be a very promising way to handle it. We present timed Petri-netbased formulation approach for multi-product batch plants with complicated intermediate storage policies, such as: unlimited intermediate storage(UIS), no intermediate storage(NIS). finite intermediate storage(FIS), and mixed intermediate storage (MIS). Also, a modified branch & bound and timed-place Petri nets execution algorithm is developed for short-term scheduling of multiproduct batch plants: Through case study, the effectiveness of the proposed approach and algorithm are illustrated.