Data mining methods for knowledge discovery
Data mining methods for knowledge discovery
Rough set methods for the synthesis and analysis of concurrent processes
Rough set methods and applications
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough set methods in feature selection and recognition
Pattern Recognition Letters - Special issue: Rough sets, pattern recognition and data mining
Discovering Concurrent Models from Data Tables with the ROSECON System
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Maximal consistent extensions of information systems relative to their theories
Information Sciences: an International Journal
Inhibitory Rules in Data Analysis: A Rough Set Approach
Inhibitory Rules in Data Analysis: A Rough Set Approach
Discovering Concurrent Process Models in Data: A Rough Set Approach
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Discovery of process models from data and domain knowledge: a rough-granular approach
PReMI'07 Proceedings of the 2nd international conference on Pattern recognition and machine intelligence
A Rough Set Approach to Information Systems Decomposition
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
| Hi-index | 0.00 |
We present some applications of a method for synthesis of concurrent models from the specification given by an information system and/or decision rules. A solution generated by the method for the well known problem in concurrency is represented by colored Petri nets (CP-nets, in short). The method allows to generate automatically an appropriate CP-net from the specification given by an information system and/or decision rules. This kind of specification should be more convenient for the designers of concurrent systems than directly drawing a Petri net, especially in cases of large in size net models. The CP-nets produced automatically by the application of the method are sometimes not in the optimal form and some modification procedure could be applied to get more optimal solutions. This problem is also discussed in the paper.