Zaslať SMS: Analýza závislostí prechodov Petriho sietí