Describir: Analýza Petriho sietí