ACS/IEEE 2005 International Conference on Computer Systems and Applications (AICCSA'05)
Automated discovering concurrent models from data tables - an overview of algorithms
Cairo, Egypt
January 03-January 06
ISBN: 0-7803-8735-X
K. Pancerz, Comput. Sci. Foundations, Inf. Technol. & Manage. Univ., Rzeszow, Poland
Z. Suraj, Comput. Sci. Foundations, Inf. Technol. & Manage. Univ., Rzeszow, Poland
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.
Citation:
K. Pancerz, Z. Suraj, "Automated discovering concurrent models from data tables - an overview of algorithms," aiccsa, pp.43-I, ACS/IEEE 2005 International Conference on Computer Systems and Applications (AICCSA'05), 2005