Controlling and coordinating recipes in batch applications
Michael Tittus, Martin Fabian, Bengt Lennartson · 2002
Starting with a model of the plant and a number of product specifications (recipes), a formalism is presented to design a discrete supervisor that controls and coordinates the simultaneous execution of these recipes. The paper introduces general, reusable Petri net blocks used to model recipes and uses an extension of the Wonham-Ramadge framework to synthesize a supervisor.