Describir: Analýza dynamickej korektnosti Petriho sietí