Szukana fraza: [Abstract = "This paper aims at presenting a Petri\-net based approach to the scheduling of operations in batch plants. Firstly, the short term of the 'scheduling of batch plants' is formulated by means of a timed Petri net which can accommodate various intermediate storage policies, such as unlimited intermediate storage \(UIS\), no intermediate storage \(NIS\), finite intermediate storage \(FIS\), and mixed intermediate storage \(MIS\)."]