Spätná analýza stavových grafov Petriho sietí - Rybár, Matej, 1990- (Fakulta informatiky a informačných technológií STU, 2013)