Enviar por SMS: Získanie vhodného riešenia syntézy Petriho sietí