Informatyka: metody formalne, systemy współbieżne, systemy czasu rzeczywistego, eksploracja danych.

Kp. Sieci Petriego i PN-Tools : narzędzia do modelowania i analizy systemów współbieżnych / Zbigniew Suraj, Marcin Szpyrka. - Rzeszów, 1999.

OPI online

Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS / Piotr Matyasik. - Kraków, 2009. Red. ; (Akademia Górniczo-Hutnicza im. Stanisława Staszica. Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki. Katedra Automatyki )

Str.intern. AGH, 6.11.2009 http://regent2.uci.agh.edu.pl/skos

Inf. od aut., 06.03.2017