Teslyuk, V.     The development of subsystem for functional Petri nets analysis [Текст] / V. Teslyuk, O. Lovas, P. Denysyuk, Iaroslav Vasyliuk // САПР у проектуванні машин. Питання впровадження та навчання : матеріали XVIII міжнар. укр.-пол. наук.-техн. конф. CADMD'2010, 14-16 жовт. 2010 р., Львів, Україна / М-во освіти і науки України, Нац. ун-т "Львів. політехніка". — Львів : ПП "Вежа і Ко", 2010. — C. 102-105.