Petri net models in batch control

A Petri-net based approach for the modeling of batch plants as well as prod ucts is presented. The different units of a plant are modeled as bounded Pe tri nets and products are represented by way of their recipes. With the foc us on synchronization and booking issues arising when merging and splitting material flows, we propose general Petri net building-blocks for the const ruction of these recipes. Both resource and recipe models support formal su pervisor synthesis for dynamic resource allocation according to the Ramadge -Wonham framework.