Text this: Analýza dynamickej korektnosti Petriho sietí