Discovering Concurrent Models from Data Tables with the ROSECON System

Issue title: Concurrency Specification and Programming (CS&P 2003)

Article type: Research Article

Authors: Pancerz, Krzysztof | Suraj, Zbigniew

Affiliations: Chair of Computer Science Foundations, University of Information Technology and Management, Sucharskiego Str. 2, 35-225 Rzeszáw, Poland

Abstract: This paper presents an approach to discovering concurrent models from data tables using the ROSECON software system. The acronym ROSECON comes from "ROugh SEts and CONcurrency". The models created using ROSECON have the form of Coloured Petri Nets. The ROSECON system is based on the rough set theory. The models derived by ROSECON can be used to determine different properties concerning structures and behaviours of systems. Running examples illustrate some directions one might take in the study of behavioural patterns in information system tables.

Keywords: rough set tools, Coloured Petri Nets, software systems

Journal: Fundamenta Informaticae, vol. 60, no. 1-4, pp. 251-268, 2004