Describir: Analýza nesekvenčných scenárov Petriho sietí