DocumentCode
2248520
Title
Information systems as a tool for specification of concurrent systems
Author
Suraj, Zbigniew
Author_Institution
Inst. of Math., Rzeszow Univ., Poland
Volume
3
fYear
2003
fDate
14-19 Sept. 2003
Firstpage
4324
Abstract
The paper presents an approach to the synthesis problem. The approach is based on the rough set philosophy, Boolean reasoning and Petri nets. Information systems as a tool for specification of concurrent systems are treated. However colored Petri nets as a model for concurrency are used. The proposed approach in the ROSECON computer system has been implemented. It can be used to deal with various problems arising from the process design domain.
Keywords
Boolean functions; Petri nets; concurrent engineering; data mining; information systems; rough set theory; Boolean reasoning; ROSECON computer system; colored Petri nets; concurrent systems specification; information systems; knowledge discovery; process design domain; rough set philosophy; Concurrent computing; Control design; Control system synthesis; Data mining; Information systems; Petri nets; Process design; Production; Real time systems; Set theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on
ISSN
1050-4729
Print_ISBN
0-7803-7736-2
Type
conf
DOI
10.1109/ROBOT.2003.1242269
Filename
1242269
Link To Document