In: Burkhard, H.-D.; Czaja, L.; Nguyen, H.-S.; Starke, P.: Proceedings of the CSP'99 Workshop, Warsaw, 28-30 September 1999, pages 214-235. 1999.
Abstract: The paper deals with an automatic concurrent control design method derived from the specification of the discrete event control system represented in the form of a decision table. The main stages of our approach are: the control specification by decision tables, generation of rules from the specification of the system behavior, and converting rules set into a concurrent program represented in the form of a Petri net. Our approach is based on rough set theory. The rough control problem was recently considered in several papers. The rough set theory was also used in computer implementations of the rule-based control of industrial processes. In our approach we use dependencies and rules describing interactions between different components of processes to design rule-based control of processes and taking into account a typical control loop. This makes it possible to base the control design on deeper analysis of knowledge about processes represented in decision tables than in some other approaches based only on decision rules. For example we take into account that controlled process is composed out of interacting modules and the necessity of those modules coordination by the controller. Moreover, our approach can be used for the automatic control design of concurrent systems specified by data tables. Earlier an algorithm for generating a highly parallel program represented by a Petri net from a given decision table has been proposed. In this paper we show an application of a modified version of that algorithm for a control design. Our methodology for control design can be improved in various directions, e. g., by developing formal methods for automatic concurrent control code generation from the resulting net model. In the whole paper an example of control task will be analyzed. The example refers to the control process of a very simple dosing tank.