Syntéza Petriho sietí - Oles, Lukáš, 1987- (STU v Bratislave FEI, 2011)