CONTROL SYNTHESIS FOR DISCRETE EVENT SYSTEMS:A SEMANTIC FRAMEWORK BASED ON OPEN PETRI NETS

摘要

Open nets are place-transition Petri nets with interfaces, which support a notion of compositionrnand a corresponding compositional interpretation of the concurrent behaviour of nets. The controlrnsynthesis problem of generating a controller for a given plant from an abstract specification of the controller’srnbehaviour can be formulated in terms of open nets by modelling the plant as an open net whoserninterfaces correspond to the sensors and actuators of the controller and specifying the desired behaviourrnas a set of processes for this net. Then, the problem consists in synthesising a controller net which, whenrncomposed with the net modelling the plant, leads to the specified restriction of the plant’s processes.rnBased on this observation, which provides an abstraction of the actual synthesis algorithm, we studyrnthe problem of generating controllers consisting of several components. In particular, we analyse requirementsrnfor the logic used for specifying the controller in order to allow for a compositional, component-wisernsynthesis.