CONTROL OF DISCRETE EVENTS USING CONDITIO N EVENT NET MODELS/

Chemical batch plants and their sequential control systems are regarde d as discrete event systems. There has recently been great interest in the control of these systems. This paper first formulates a control p roblem for discrete event systems as follows: given the controlled pla nt modeled by a condition/event net (C/E net) and some specification o f the desired behavior described by a partial language, synthesize a c ontroller to realize the specified behavior. It next studies the prope rties of this C/E net control problem and then presents a method of fi nding solutions. It also discusses the practical applications of the c ontrol problem to the design of sequential control systems.