Softvérová podpora modelovania nesekvenčného správania Petriho sietí - Chatrnúch, Matej, 1986- (STU v Bratislave FEI, 2010)