DocumentCode
2440448
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
fYear
2005
fDate
2005
Firstpage
43
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on
Print_ISBN
0-7803-8735-X
Type
conf
DOI
10.1109/AICCSA.2005.1387040
Filename
1387040
Link To Document