Title :
Controlling and coordinating recipes in batch applications
Author :
Tittus, Michael ; Fabian, Martin ; Lennartson, Bengt
Author_Institution :
Lab. of Control Eng., Chalmers Univ. of Technol., Goteborg, Sweden
Abstract :
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
Keywords :
Petri nets; batch processing (industrial); discrete event systems; process control; Wonham-Ramadge framework; batch applications; discrete supervisor; product specifications; recipes control; recipes coordination; reusable Petri net blocks; Automata; Automatic control; Control engineering; Councils; Electronic mail; Libraries; Page description languages; Supervisory control;
Conference_Titel :
Decision and Control, 1995., Proceedings of the 34th IEEE Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-7803-2685-7
DOI :
10.1109/CDC.1995.478464
