Zaslať SMS: Syntéza Petriho sietí