Modelling of Multi-Product Batch Production Lines by FSMs

摘要

This paper presents a novel approach to modelling multi-product batch production lines (BPL) based on finite-state machines (FSM) in the framework of supervisory control theory for discrete-event systems (DES). In this paper we show how a controller synthesis for a class of multi-product BPLs can be accomplished in "one shot", without the necessity of explicit modelling of precedence constraints.