Describir: Analýza závislostí prechodov Petriho sietí