Method of development Smart-House-Systems Models, based on Petri-Markov Nets, and extended by functional components | IEEE Conference Publication | IEEE Xplore