Invia SMS: Analýza Petriho sietí