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