Text this: Generovanie Petriho sietí s predpísanými vlastnosťami