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

Abstract

This article is devoted to the developed method of development Smart-House-Systems Models, based on Petri-Markov Nets, and extended by functional components (sensors and actuators).

Cite this paper

@article{Teslyuk2017MethodOD, title={Method of development Smart-House-Systems Models, based on Petri-Markov Nets, and extended by functional components}, author={Vasyl Teslyuk and Pavlo Denysyuk and Khrystyna Beregovska and Marta Mashevska}, journal={2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)}, year={2017}, volume={1}, pages={352-355} }