Rough Set Methods for the Synthesis and Analysis of Concurrent Processes
Bigniew Suraj · Studies in fuzziness and soft computing · 2000
Abstract. In this Chapter rough set methods for the modeling 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. this Chapter includes, in particular, the description of automatic methods for the modeling and analysis of concurrent systems specified by information systems. In this Chapter the following problems are considered: 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.