Programový systém na podporu výučby Petriho sietí - HTML aplikácia - Martinský, Ladislav, 1984- (STU v Bratislave FIIT, 2008)