Zaslať SMS: Programové spracovanie Petriho sietí