@INPROCEEDINGS { Rsds2258,
author = {Suraj, Zbigniew}, 
title = {An application of rough sets and Petri nets to controller design}, 
booktitle = {Proceedings of International Conference on Intelligent Techniques in Robotics, Control and Decision Making}, 
conference = {International Conference on Intelligent Techniques in Robotics, Control and Decision Making}, 
pages = {86--96}, 
publisher = {Polish-Japanese Institute of Information Technology}, 
address = {Warsaw, Poland}, 
year = 1999, 
editor = {Aoshima, Shinichi and Polkowski, Lech and Toho, Mitsuhiko}, 
isbn = {83-904403-1-8}, 
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 [22]. 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 [22]. The rough control problem was recently considered in several papers (e.g., [8], [14], [15], [16], [19], [23], [24]). The rough set theory was also used in computer implementations of the rule-based control of industrial processes (see, e.g., [5], [13], [12], [27], [44]). 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 (see, e.g., [8], [12], [23], [44]). 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. In the paper [35] 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. In the whole paper an example of control task will be analyzed. It is a slightly modified version of control problem considered in [7]. The example refers to the control process of a very simple dosing tank.}, 
keywords = {discrete event control, system synthesis, rough sets, Petri nets, }, 
}