Discovering Concurrent Models from Data Tables with the ROSECON System

  • Authors:
  • Krzysztof Pancerz;Zbigniew Suraj

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

  • Venue:
  • Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

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.