Generovanie Petriho sietí s predpísanými vlastnosťami - Števaňáková, Nikola (STU v Bratislave FEI, 2022)