Doplnenie funkcionality modelera Petriho sietí - Šalata, Branislav (STU v Bratislave FEI, 2022)