Modelling concurrent systems specified by dynamic information systems: A rough set approach

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 4, 2003, Pages 206-218

  Pancerz, Krzysztof ^a   Suraj, Zbigniew ^a  

^a UNIVERSITY OF INFORMATION TECHNOLOGY AND MANAGEMENT   (Poland)

Author keywords

Behaviour; Coloured Petri Nets; Concurrency; Dynamic information systems; Rough sets

Indexed keywords

CONCURRENCY CONTROL; DYNAMIC PROGRAMMING; INFORMATION THEORY; MATHEMATICAL MODELS; PETRI NETS;

CONCURRENT SYSTEMS; DYNAMIC TRANSITIONS; GLOBAL STATES; INFORMATION SYSTEMS;

ROUGH SET THEORY;

EID: 18944381575     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80719-9     Document Type: Conference Paper

References (14)

1. Czaja L.", Elementary cause-effect structures," Warsaw University, 2002.
2. Jensen K. " Coloured PetriN ets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1" 1992;Springer, Berlin
3. Pancerz K., and Z. Suraj, ROSECON - a system for automatic discovering of concurrent models from data tables. In Proceedings of the IX Environmental Conference on Mathematics and Informatics, Korytnica, June 12-16, 2002, Poland (in Polish), 34.
4. Pancerz K., and Z. Suraj, From Data to Nets with Inhibitor Expressions:A Rough Set Approach. In: Z. Suraj (ed.), Proceedings of the Sixth International Conference on Soft Computing and Distributed Processing, Rzeszow, June 24-25, 2002, Poland, 102-106.
5. Pancerz K., and Z. Suraj, The Synthesis of Concurrent Systems Specified by Information Systems with Using the Coloured Petri Nets. In: H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron and P. Starke (eds.), Proceedings of the Workshop on Concurrency, Specification and Programming, Berlin, October 7-9, 2002, Germany, vol. 2, 255-266.
6. Pawlak Z. "Rough Sets - Theoretical Aspects of Reasoning About Data" 1991;Kluwer Academic Publishers, Dordrecht
7. Peters J.F., Skowron A., Suraj Z. An Aplication of Rough Set Methods in Control Design. Fundamenta Informaticae. 43:(1-4):2000;269-290
8. Skowron A., Suraj Z. Rough Sets and Concurrency. Bulletin of the Polish Academy of Sciences. 41:(3):1993;237-254
9. Skowron A., Suraj Z. Parallel Algorithm for Real-Time Decision Making: A Rough Set Approach. Journal of Intelligent Information Systems. 7:1996;5-28. Kluwer Academic Publishers, Dordrecht
10. Suraj Z. Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach. Fundamenta Informaticae. 28:(3-4):1996;353-376
11. Suraj Z. The Synthesis Problem of Concurrent Systems Specified by Dynamic Information Systems. Polkowski L., Skowron A. Rough Sets in Knowledge Discovery 2. 1998;418-448 Physica-Verlag, Berlin
12. Suraj Z. Rough Set Methods for the Synthesis and Analysis of Concurrent Processes. Polkowski L., Tsumoto S., Lin T.Y. Rough Set Methods and Applications. 2000;379-488 Springer, Berlin
13. Suraj Z. Some Remarks on Extensions and Restrictions of Information Systems. Ziarke W., Yao Y. Rough Sets and Current Trends in Computing. Lecture Notes in Artificial Intelligence 2005 :2001;204-211 Springer, Berlin
14. Design/CPN Web Page: http://www.daimi.au.dk/designCPN/.