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