Riadenie procesov na báze Petriho sietí - Rehák, Jakub (2016)