Title :
Information systems as a tool for specification of concurrent systems
Author_Institution :
Inst. of Math., Rzeszow Univ., Poland
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;
Conference_Titel :
Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on
Print_ISBN :
0-7803-7736-2
DOI :
10.1109/ROBOT.2003.1242269
