Petri Net Models in Batch Control

Abstract

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