Kernytskyy, Andriy     Coloured timed Petri nets and traffic noise model [Текст] / Andriy Kernytskyy, Mykhaylo Melnyk, Oleksiy Lopatin, Oleh Krayevskyy // Перспективні технології і методи проектування МЕМС : матеріали Четвертої міжнар. конф. молодих вчен. MEMSTECH' 2008, 21-24 трав. 2008, Львів, Поляна, Україна. / Нац. ун-т "Львів. політехніка". — Л. : Вежа і Ко, 2008. — C. 207.