The ROSECON system - A computer tool for modelling and analysing of processes

Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet

Volumn 2, Issue , 2005, Pages 829-834

  Suraj, Zbigniew ^a   Pancerz, Krzysztof ^a  

^a UNIVERSITY OF INFORMATION TECHNOLOGY AND MANAGEMENT   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA REDUCTION; MATHEMATICAL MODELS; PETRI NETS; ROUGH SET THEORY;

DATA TABLES; ROSECON SYSTEMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33847184237     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. http://rsds.wsiz.rzeszow.pl.
2. Design/CPN Homepage: http://www.daimi.au.dk/ designCPN.
3. CPN Tools Homepage: http://www.daimi.au.dk/CPNtools.
4. K. Jensen. Coloured Petri Nets. Vol. 1-3. Springer Verlag. Berlin Heidelberg, 1997.
5. K. Pancerz and Z. Suraj. Modelling concurrent systems specified by dynamic information systems: A rough set approach. Electronic Notes in Theoretical Computer Science, 82(4), 2003.
6. K. Pancerz and Z. Suraj. An application of rough set methods to concurrent systems design. In P. Grzegorzewski, M. Krawczak, and S. Zadrożny, editors, Soft Computing. Tools, Techniques and Applications, pages 229-244. EXIT, Warsaw, 2004.
7. K. Pancerz and Z. Suraj. Discovery of asynchronous concurrent models from experimental tables. Fundamenta Informaticae, 61(2):97-116, 2004.
8. Z. Pawlak. Rough Sets - Theoretical Aspects of Reasoning About Data. Kluwer Academic Publishers, Dordrecht, 1991.
9. Z. Pawlak. Concurrent versus sequential - the rough sets perspective. Bulletin of EATCS, 48:178-190, 1992.
10. Z. Pawlak. Some issues on rough sets. In J. Peters et al., editors, Transactions on Rough Sets I, volume 3100 of LNCS, pages 1-58. Springer Verlag, Berlin Heidelberg, 2004.
11. H. Sakai. Some effective procedures for data dependencies in information systems. In M. Inuiguchi, S. Tsumoto, and S. Hirano. editors, Rough Set Theory and Granular Computing, pages 167-176. Springer Verlag, Berlin Heidelberg, 2003.
12. A. Skowron. Boolean reasoning for decision rules generation. In J. Komorowski and Z. Raś, editors, Proceedings of the ISMIS'1993, volume 689 of LNAI, pages 295-305. Springer Verlag. Berlin Heidelberg, 1993.
13. A. Skowron and C. Rauszer. The discernibility matrices and functions in information systems. In R. Slowiński, editor, Intelligent Decision Support. Handbook of Applications and Advances of the Rough Set Theory, pages 331-362. Kluwer Academic Publishers, Dordrecht. 1992.
14. Z. Suraj. The synthesis problem of concurrent systems specified by dynamic information systems. In L. Polkowski and A. Skowron, editors, Rough Sets in Knowledge Discovery, volume 2. pages 418-448. Physica-Verlag, Berlin, 1998.
15. Z. Suraj. Rough set methods for the synthesis and analysis of concurrent processes. In L. Polkowski, S. Tsumoto, and T. Y. Lin, editors, Rough Set Methods and Applications, pages 379-488. Springer Verlag, Berlin, 2000.
16. Z. Suraj. Some remarks on extensions and restrictions of information systems. In W. Ziarko and Y. Yao, editors, Rough Sets and Current Trends in Computing, volume 2005 of LNAI, pages 204-211. Springer Verlag, Berlin Heidelberg, 2001.
17. Z. Suraj and K. Pancerz. On consistent and partially consistent extensions of information systems. In D. Slezak et al., editors, Proceedings of the RSFDGrC'2005. volume 3641 of LNAI, pages 224-233. Springer Verlag, Berlin Heidelberg, 2005.
18. Z. Suraj and K. Pancerz. Restriction-based concurrent system design using the rough set formalism. Fundamenta Informaticae, 67(1-3):233-247, 2005.
19. Z. Suraj and K. Pancerz. Some remarks on computing consistent extensions of dynamic information systems. In H. Kwasnicka and M. Paprzycki, editors, Proceedings of the ISDA'2005, pages 420-425, Wroclaw, Poland, 2005. IEEE Computer Society.
20. Z. Suraj, K. Pancerz. and R. Świniarski. Prediction of model changes of concurrent systems described by temporal information systems. In H. Arabnia et al., editors, Proceedings of the DMIN'2005, pages 51-57, Las Vegas, Nevada, USA, 2005. CSREA Press.
21. A. Vinter Ratzer et al. CPN Tools for editing, simulating, and analysing coloured Petri nets. In W. van der Aalst and E. Best, editors, Proceedings of the ICATPN'2003, volume 2679 of LNCS, pages 450-462, Berlin Heidelberg, 2003. Springer Verlag.