Rough set methods for the synthesis and analysis of concurrent processes

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 minig, 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 concurrentsystems 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.

---

W pracy rozważane są metody zbiorów przybliżonych do modelowania procesów współbieżnych. Motywacją prowadzonych badań były problemy z zakresu takich dziedzin jak np. odkrywanie wiedzy, wydobywanie wiedzy, projektowanie systemów sterowania, dekompozycja systemów informacyjnych, identyfikacja obiektów w systemach czasu rzeczywistego. W szczególności praca zawiera opis metod automatycznego modelowania i analizy systemów współbieżnych specyfikowanych za pomocą systemów informacyjnych. W pracy rozważane są następujące problemy: 1. Problem syntezy systemów współbieżnych specyfikowanych za pomocą systemów informacyjnych. 2. Problem odkrywania modeli współbieżnych z eksperymentalnych tablic danych. 3. Problem reorganizacji kooperacyjnych systemów informacyjnych. 4. Problem podejmowania decyzji w systemach czasu rzeczywistego. 5. Problem projektowania sterowania dla systemów zdarzeń dyskretnych. Przy rozwiązywaniu tych problemów wykorzystuje się teorię zbiorów przybliżonych, wnioskowanie boolowskie, teorię sieci Petriego oraz własne komputerowe programy narzędziowe opracowane dla tego celu. Przedstawione w pracy metody, jak również dalsze badania ukierunkowane na odkrywanie związków pomiędzy teorią zbiorów przybliżonych i teorią współbieżności będą zapewne stymulować dalsze badania teoretyczne z nimi związane oraz nowe praktyczne zastosowania obydwu teorii we wspomnianych wyżej dziedzinach.