Analýza dynamickej korektnosti Petriho sietí - Lucký, Samuel, 1988- (STU v Bratislave FEI, 2011)