Oprogramowanie / Software

Members of the Rough Set and Petri Net Research Group and their collaborators have designed and developed numerous software systems. The systems listed below in items 1, 3, 5, 7, 9, 11, 13, 20 have served or continue to serve primarily to support scientific research in the field of conducting experiments allowing the verification of the proposed theoretical approaches, methods and algorithms using large data sets. However, the systems listed in items 3 and 15-17 may be used additionally or exclusively to support teaching classes in IT subjects in which they may be useful. Additionaly, members of the RSPN group, independently or in cooperation with computer science students of the University of Rzeszów, have developed three online information systems disseminating mainly descriptions of publications in the field of rough set theory and related approaches (item 4), their own scientific activities and achievements (item 18), as well as related commemorating the scientific and professional achievements of research and teaching staff and primary and secondary school teachers specializing in teaching mathematics or computer science from Podkarpacie and neighboring voivodeships (item 21).

  1. Suraj, Z., Pancerz, K.: ROSECON - a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems. Fundamenta Informaticae 126(4):335-351, 2013.
  2. Pancerz, K.: ROSECON. User’s Manual. RS&PN Research Report 5/07, Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, November 2007, 33 pages.
  3. Suraj, Z., Grochowalski, P.: PNeS in Modelling, Control and Analysis of Concurrent Systems. Lecture Notes in Artificial Intelligence 12872, pp. 279-309, Springer Nature, 2021.
  4. Suraj, Z., Grochowalski, P.: The RSDS - Bibliographic Database for Rough Sets and Related Fields. Transactions on Rough Sets XXIII, Lecture Notes in Computer Science, vol. 13610, pp. 99-117, Springer Nature, 2022.
  5. Grochowalski, P.: RSDS: Rough Set Database System. User’s Manual. RS&PN Research Report 3/07, Chair of Computer Science, University of Rzeszów, Rzeszów, June 2007, 17 pages.
  6. Suraj, Z., Matusiewicz, Z.: Using CPNetwork for Modelling and Analysis of Coloured Petri Nets. Scientific Bulletin of Chełm. Section Mathematics and Computer Science, No. 2/2006, Chełm 2006, 203-210.
  7. Matusiewicz, Z.: CPNetwork. User’s Manual. RS&PN Research Report 6/07, Chair of Mathematics, University of Information Technology and Management, Rzeszów, May 2007, 16 pages.
  8. Delimata, P.: DMES - Narzędzie do analizy i przetwarzania danych. Materiały XIII Międzynarodowej Konferencji Matematyczno-Informatycznej, Chełm, 1-4 VII 2007, s. 52-53.
  9. Delimata, P.: DMES: Data Mining Exploration System. User’s Manual. RS&PN Research Report 2/07, Chair of Computer Science, University of Rzeszów, Rzeszów, June 2007, 28 pages.
  10. Suraj, Z., Fryc, B.: System APNES jako model systemu ekspertowego. Materiały XIII Międzynarodowej Konferencji Matematyczno-Informatycznej, Chełm, 1-4 VII 2007, s. 54.
  11. Fryc, B.: APNES System for Modelling of Approximate Reasoning Process. User’s Manual. RS&PN Research Report 1/07, Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, June 2007, 15 pages.
  12. Fryc, B.: A Petri Net System. User’s Manual. RS&PN Research Report 1/05, Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, November 2005, 15 pages.
  13. Suraj, Z., Paluch, A.: System do specjalizowanych obliczeń rozproszonych na przykładzie aplikacji TEMPLATES i CSTEMPLATES. Materiały XIII Międzynarodowej Konferencji Matematyczno-Informatycznej, Chełm, 1-4 VII 2007, s. 55-56.
  14. Paluch, A., Rząsa, W.: TEMPLATES 1.8. System for temporal data analysis. User’s Manual. RS&PN Research Report 4/07, Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, May 2007, 20 pages.
  15. Suraj, Z., Szpyrka, M.: Sieci Petriego i PN-tools, Wydawnictwo Wyższej Szkoły Pedagogicznej, Rzeszów, 1999, stron 147.
  16. Suraj, Z., Komarek, B.: GRAF. System graficznej konstrukcji i analizy sieci Petriego, Seria: Problemy Współczesnej Nauki. Teoria i Zastosowania: Informatyka, Akademicka Oficyna Wydawnicza PLJ, Warszawa, 1994, stron 190.
  17. Suraj, Z., Hałys, P., Komarek, B., Płoucha, R.: System SB. Graficzny system redagowania i symulowania schematów blokowych, Uniwersytet Wrocławski - Instytut Informatyki, Ogólnopolska Fundacja Edukacji Komputerowej - Oddział Wielkopolski, Wrocław-Poznań, 1993, stron 80.
  18. Lasek, P., Garwol, K., Suraj, Z.: RSPN - web application informing about the activities and research results of Rough Set and Petri Net Research Group. Chair of Computer Science, University of Rzeszów, Rzeszów, 2011.
  19. Suraj, Z., Grochowalski, P., Lew, Ł.: Discovering Patterns of Collaboration in Rough Set Research: Statistical and Graph-Theoretical Approach. Lecture Notes in Computer Science, Vol. 6954, Springer-Verlag, Berlin Heidelberg, 2011, pp. 238-247.
  20. Lew, Ł., Suraj, Z.: SNetworks - a program supporting the visualization, analysis of the structure and dynamics of social networks. Chair of Computer Science, University of Rzeszów, Rzeszów, 2011.
  21. Suraj, Z., Grochowalski, P., Garwol, K., Trojnar, K.: Matematycy i Informatycy Podkarpacia+. Portal wiedzy i nauki, Katedra Informatyki Uniwersytetu Rzeszowskiego, Rzeszów 2014.