Compositional Control Synthesis for Discrete Event Systems: A Semantic Framework Based on Open Petri Nets

ABSTRACT: Open nets are place-transition Petri nets with interfaces, which support a notion of composition and a corresponding compositional interpretation of the concur-rent behaviour of nets. The control synthesis problem of specification of the controller’s behaviour can be formu-lated in terms of open nets by modelling the plant as an open net whose interfaces correspond to the sensors and actua-tors of the controller and specifying the desired behaviour as a set of processes for this net. Then, the problem consists in synthesising a controller net which, when composed with the net modelling the plant, leads to the specified restriction of the plant’s processes. Based on this observation, which provides an abstraction of the actual synthesis algorithm, we study the problem of generating controllers consisting of several components. In particular, we analyse requirements for the logic used for specifying the controller in order to allow for a composi-tional, component-wise synthesis. I