Modelling of concurrent systems - Juhás, Gabriel (Slovak University of Technology, 2015)