Stochastické a pravdepodobnostné Petriho siete - Plevko, Ján, 1987- (STU v Bratislave FIIT, 2009)