Oprogramowanie i publikacje / Software & Publications

Members of the Rough Set and Petri Net (RSPN) Research Group, along with their collaborators, have designed and developed numerous software systems. The applications listed in items 1, 3, 5, 7, 9, 11, 13, and 20 primarily serve to support scientific research by enabling experimental verification of proposed theoretical approaches, methods, and algorithms on large datasets. Furthermore, the systems outlined in items 3 and 15–17 can be utilized either additionally or exclusively to support computing and IT education.

Additionally, members of the RSPN group—independently or in cooperation with computer science students from the University of Rzeszów—have developed three online information systems. These platforms are dedicated to disseminating bibliographic records and descriptions of publications in the field of rough set theory and related domains (item 4), showcasing the group's own scientific activities and achievements (item 18), and commemorating the academic, professional, and educational accomplishments of researchers, university faculty, and primary or secondary school teachers specializing in mathematics and computer science from the Podkarpacie region and neighboring voivodeships (item 21).

  1.  Suraj, Z., Pancerz, K. (2013). ROSECON – a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems. Fundamenta Informaticae, 126(4), pp. 335–351.
  2. Pancerz, K. (2007). ROSECON. User’s Manual. RS&PN Research Report 5/07, Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, 33 pages.
  3. Suraj, Z., Grochowalski, P. (2021). PNeS in Modelling, Control and Analysis of Concurrent Systems. Lecture Notes in Artificial Intelligence 12872, Springer Nature, pp. 279–309.
  4. Suraj, Z., Grochowalski, P. (2022). The RSDS – Bibliographic Database for Rough Sets and Related Fields. Transactions on Rough Sets XXIII, Lecture Notes in Computer Science, vol. 13610, Springer Nature, pp. 99–117.
  5. Grochowalski, P. (2007). RSDS: Rough Set Database System. User’s Manual. RS&PN Research Report 3/07, Chair of Computer Science, University of Rzeszów, Rzeszów, 17 pages.
  6. Suraj, Z., Matusiewicz, Z. (2006). 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, pp. 203–210.
  7. Matusiewicz, Z. (2007). CPNetwork. User’s Manual. RS&PN Research Report 6/07, Chair of Mathematics, University of Information Technology and Management, Rzeszów, 16 pages.
  8. Delimata, P. (2007). DMES – Narzędzie do analizy i przetwarzania danych. Materiały XIII Międzynarodowej Konferencji Matematyczno-Informatycznej, Chełm, s. 52–53.
  9. Delimata, P. (2007). DMES: Data Mining Exploration System. User’s Manual. RS&PN Research Report 2/07, Chair of Computer Science, University of Rzeszów, Rzeszów, 28 pages.
  10. Suraj, Z., Fryc, B. (2007). System APNES jako model systemu ekspertowego. Materiały XIII Międzynarodowej Konferencji Matematyczno-Informatycznej, Chełm, s. 54.
  11. Fryc, B. (2007). 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, 15 pages.
  12. Fryc, B. (2005). 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, 15 pages.
  13. Suraj, Z., Paluch, A. (2007). System do specjalizowanych obliczeń rozproszonych na przykładzie aplikacji TEMPLATES i CSTEMPLATES. Materiały XIII Międzynarodowej Konferencji Matematyczno-Informatycznej, Chełm, s. 55–56.
  14. Paluch, A., Rząsa, W. (2007). 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, 20 pages.
  15. Suraj, Z., Szpyrka, M. (1999). Sieci Petriego i PN-tools. Wydawnictwo Wyższej Szkoły Pedagogicznej, Rzeszów, 147 stron.
  16. Suraj, Z., Komarek, B. (1994). GRAF. System graficznej konstrukcji i analizy sieci Petriego. Seria: Problemy Współczesnej Nauki. Teoria i Zastosowania: Informatyka, Akademicka Oficyna Wydawnicza PLJ, Warszawa, 190 stron.
  17. Suraj, Z., Hałys, P., Komarek, B., Płoucha, R. (1993). 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ń, 80 stron.
  18. Lasek, P., Garwol, K., Suraj, Z. (2011). 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.
  19. Suraj, Z., Grochowalski, P., Lew, Ł. (2011). Discovering Patterns of Collaboration in Rough Set Research: Statistical and Graph-Theoretical Approach. Lecture Notes in Computer Science, Vol. 6954, Springer-Verlag, Berlin Heidelberg, pp. 238–247.
  20. Lew, Ł., Suraj, Z. (2011). 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.
  21. Suraj, Z., Grochowalski, P., Garwol, K., Trojnar, K. (2014). Matematycy i Informatycy Podkarpacia+. Portal wiedzy i nauki. Katedra Informatyki Uniwersytetu Rzeszowskiego, Rzeszów.