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