A synthesis of concurrent systems: A rough set approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2639, Issue , 2003, Pages 299-302

  Suraj, Zbigniew ^a   Pancerz, Krzysztof ^a  

^a UNIVERSITY OF INFORMATION TECHNOLOGY AND MANAGEMENT   (Poland)

Author keywords

Coloured petri nets; Concurrent systems; Information systems; Knowledge discovery; Minimal rules

Indexed keywords

AUTOMATION; COMPUTATION THEORY; DATA MINING; FUZZY SETS; GRANULAR COMPUTING; INFORMATION SYSTEMS; INFORMATION USE; PETRI NETS; WINDOWS OPERATING SYSTEM; COMPUTER OPERATING SYSTEMS; CONCURRENCY CONTROL; PROBLEM SOLVING; READOUT SYSTEMS;

AUTOMATED SYSTEMS; COLOURED PETRI NETS; CONCURRENT SYSTEMS; DESIGN PROCESS; LOCAL STATE; MINIMAL RULES; SYNTHESIS PROBLEMS;

ROUGH SET THEORY;

CONCURRENT SYSTEMS; DESIGN PROGRESS; FORMALISMS;

EID: 2942721589     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-39205-x_43     Document Type: Conference Paper

References (11)

1. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1. Springer, Berlin 1992.
2. Pancerz, K., Suraj, Z.: ROSECON – a system for automatic discovering of concurrent models from data tables. in: Proc. of the IX Environmental Conference on Mathematics and Informatics, Korytnica, June 12–16, 2002, Poland (in Polish), p. 34.
3. Pancerz, K., Suraj, Z.: From Data to Nets with Inhibitor Expressions: A Rough Set Approach. in: Z. Suraj (Ed.), Proc. of the Sixth International Conference on Soft Computing and Distributed Processing, Rzeszów, June 24–25, 2002, Poland, pp. 102-106.
4. Pancerz, K., Suraj, Z.: Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach. in: Proc. of the International Workshop on Rough Sets in Knowledge Discovery and Soft Computing, Warsaw, April 12–13, 2003 (to appear).
5. Pawlak, Z.: Rough Sets – Theoretical Aspects of Reasoning About Data. Kluwer, Dordrecht 1991.
6. Reisig, W.: Petri Nets. An Introduction. Springer, Berlin 1985.
7. Skowron, A., Suraj, Z.: Rough Sets and Concurrency. Bulletin of the Polish Academy of Sciences 41-3 (1993), 237–254.
8. Suraj, Z.: The Synthesis Problem of Concurrent Systems Specified by Dynamic Information Systems. in: L. Polkowski and A. Skowron (Eds.), Rough Sets in Knowledge Discovery, 2, Physica-Verlag, Berlin 1998, pp. 418–448.
9. Skowron, A., Suraj, Z.: Parallel Algorithm for Real-Time Decision Making: A Rough Set Approach. Journal of Intelligent Information Systems 7, Kluwer, Dordrecht 1996, 5–28.
10. Suraj, Z.: Rough Set Methods for the Synthesis and Analysis of Concurrent Processes. in: L. Polkowski, S. Tsumoto, T.Y. Lin (Eds.) Rough Set Methods and Applications, Springer, Berlin 2000, pp. 379–488.
11. http://www.daimi.au.dk/designCPN/