Zbigniew Suraj

Rough Set Methods for the Synthesis and Analysis of Concurrent Processes

893

Abstract

In the paper rough set methods for the modelling of concurrent processes are considered. The research is motivated by the problems coming from the domains such as, for example: knowledge discovery systems, data mining, control design, decomposition of information systems, object identification in real-time. The paper includes, in particular, the description of automatic methods for the modelling and analysis of concurrent systems specified by information systems. In the paper the following problems are considered:

1. The synthesis problem of concurrent systems specified by information systems.
2. The problem of discovering concurrent data models from experimental tables.
3. The re-engineering problem for cooperative information systems.
4. The real-time decision making problem.
5. The control design problem for discrete event systems.

Rough set theory, Boolean reasoning, theory of Petri nets as well as self-implemented computer tools are used for this purpose. The methods presented in the paper as well as further investigations of interconnections between rough set theory and concurrency may stimulate the development of both theoretical and practical research related to the areas mentioned above.

Key words: Rough sets, concurrent models, Petri nets, knowledge discovery, data mining, system decomposition, control design, real-time systems, co-operative information systems, computer based tools.