Invia SMS: Spätná analýza stavových grafov Petriho sietí