Testovací systém pre Petriho siete - Čerňan, Tomáš, 1990- (STU v Bratislave FIIT, 2012)