Plant and Product Models for Batch Processes

An object-oriented, automata-based approach for the modelling of plant as well as products is presented. The di erent units of a plant are modelled as nite-state automata and products are represented by means of their recipes. A graphical high-level language to describe recipes is presented and special attention is given to synchronization mechanisms between units when material ow is involved.