Text this: Získanie vhodného riešenia syntézy Petriho sietí