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