Method of development Smart-House-Systems Models, based on Petri-Markov Nets, and extended by functional components.

Vasyl Teslyuk, Pavlo Denysyuk, Khrystyna Beregovska, Marta Mashevska

Browse the full CSIT paper archive.