Title :
Automated discovering concurrent models from data tables - an overview of algorithms
Author :
Pancerz, Krzysztof ; Suraj, Zbigniew
Author_Institution :
Comput. Sci. Foundations, Inf. Technol. & Manage. Univ., Rzeszow, Poland
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.
Keywords :
Petri nets; concurrency control; data mining; information systems; automated discovering concurrent model; coloured Petri nets; concurrent systems; data tables; dynamic information system; knowledge extraction; Computational modeling; Computer science; Computer simulation; Data mining; Information management; Information systems; Information technology; Inhibitors; Petri nets; Technology management;
Conference_Titel :
Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on
Print_ISBN :
0-7803-8735-X
DOI :
10.1109/AICCSA.2005.1387040