Teslyuk, Taras     The model of smart house lighting subsystem analysis on the basis of Petri net theory [Текст] / Taras Teslyuk, Vasyl Beregovskyi, Yuryy Tertula, Roman Chupa // Computer science and information technologies CSIT 2012 : proc. of the VII Intern. sci. and techn. conf., Nov. 20-24, 2012, Lviv, Ukraine / Min. of Education, Science, Youth and Sports of Ukraine, Lviv Politechniс Nat. Univ. — Lviv : Publ. Lviv Politechniс, 2012. — P. 172-173.