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

Issue title: COMPONENT-BASED SYSTEM DEVELOPMENT

Article type: Research Article

Authors: Heckel, Reiko | Chouikha, Mourad

Affiliations: Faculty of Computer Science, Electrical Engineering, and Mathematics, University of Paderborn, Paderborn, Germany. reiko@uni-paderborn.de | EXTESSY AG and Technical University of Braunschweig, Braunschweig, Germany. m.chouikha@extessy.com

Abstract: Open nets are place-transition Petri nets with interfaces, which support a notion of composition and a corresponding compositional interpretation of the concurrent behaviour of nets. The control synthesis problem of generating a controller for a given plant from an abstract specification of the controller's behaviour can be formulated in terms of open nets by modelling the plant as an open net whose interfaces correspond to the sensors and actuators 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 compositional, component-wise synthesis.

Journal: Journal of Integrated Design & Process Science, vol. 6, no. 4, pp. 63-77, 2002