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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.