Automated discovering concurrent models from data tables - an overview of algorithms

  • Authors:
  • K. Pancerz;Z. Suraj

  • Affiliations:
  • Comput. Sci. Foundations, Inf. Technol. & Manage. Univ., Rzeszow, Poland;Comput. Sci. Foundations, Inf. Technol. & Manage. Univ., Rzeszow, Poland

  • Venue:
  • AICCSA '05 Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Summary form only given. This paper presents an overview of algorithms for automated discovering concurrent models from data tables. Constructed models have the form of coloured Petri nets and can be used to determine different properties concerning structures and behaviours of modeled systems; extract new knowledge about systems or verify their descriptions or specifications. We consider a description of concurrent systems by information systems as well as dynamic information systems.