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