{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:51:11Z","timestamp":1729648271428,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/stc-csit.2017.8098803","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:50:03Z","timestamp":1510264203000},"page":"352-355","source":"Crossref","is-referenced-by-count":0,"title":["Method of development Smart-House-Systems Models, based on Petri-Markov Nets, and extended by functional components"],"prefix":"10.1109","author":[{"given":"Vasyl","family":"Teslyuk","sequence":"first","affiliation":[]},{"given":"Pavlo","family":"Denysyuk","sequence":"additional","affiliation":[]},{"given":"Khrystyna","family":"Beregovska","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Mashevska","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Mathematical apparatus of Petry-Markov networks","year":"0","key":"ref10"},{"key":"ref11","first-page":"2899","article-title":"Net Based Models for Condition\/Event Systems","volume":"3","author":"sreenivas","year":"1991","journal-title":"Proceedings American Control Conference"},{"key":"ref12","first-page":"264","author":"peterson","year":"1984","journal-title":"Petri Net Theory and the Modeling of Systems"},{"key":"ref13","first-page":"205","article-title":"Development of smart house system model based on colored Petri nets","author":"teslyuk","year":"2013","journal-title":"Proceedings of International Seminar\/Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory DIPED'2013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65307-4"},{"key":"ref16","first-page":"119","article-title":"Detection of consistency and completeness in expert systems using numerical Petri nets","author":"liu","year":"1987","journal-title":"Joint Artif Intell Conf Sydney"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-75329-9"},{"key":"ref18","first-page":"1","article-title":"Stochastic Petri Nets: An Elementary Introduction, in Advances in Petri Nets","volume":"424","author":"ajmone marsan","year":"1989","journal-title":"Lecture Notes in Computer Science"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03687-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMEA.2008.4542993"},{"key":"ref3","first-page":"209","author":"poulson","year":"2001","journal-title":"Guidelines for the development of home automation products Inclusive Design Guidelines for HCI"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CADSM.2017.7916151"},{"key":"ref5","first-page":"33","article-title":"Designing the home to meet the needs of tomorrow today: smart technology, health and wellbeing","volume":"26","author":"dewsbury","year":"2001","journal-title":"Open House International"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/EMS.2010.15"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1098918.1098942"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1258\/1357633001933871"},{"key":"ref9","article-title":"A Home Automation System Design Using Hardware Descriptive Tools","volume":"2","author":"madhuri","year":"2013","journal-title":"International Journal of Engineering Research & Technology"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"2115","DOI":"10.1145\/1978942.1979249","article-title":"Home automation in the Wild: Challenges and Opportunities","author":"bernheim brush","year":"2011","journal-title":"CHI ‘11 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems"},{"key":"ref20","first-page":"237","author":"norris","year":"1998","journal-title":"Markov “Chains"},{"key":"ref22","first-page":"38","author":"ayvazyan","year":"1975","journal-title":"Statistical analysis of Markov chains"},{"key":"ref21","first-page":"279","author":"seneta","year":"2006","journal-title":"Non-Negative Matrices and Markov Chains"},{"key":"ref24","first-page":"379","article-title":"Information analytical system for energy efficiency management at enterprises in the city of Lviv (Ukraine)","volume":"175","author":"medykovskyi","year":"2016","journal-title":"Actual Problems of Economics"},{"key":"ref23","first-page":"7","article-title":"Automated Control System for Arduino and Android Based Intelligent Greenhouse","author":"taras teslyuk","year":"2015","journal-title":"2015 XI International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH) MEMSTECH"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.12928\/telkomnika.v14i3.3114"}],"event":{"name":"2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)","start":{"date-parts":[[2017,9,5]]},"location":"Lviv","end":{"date-parts":[[2017,9,8]]}},"container-title":["2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8086159\/8098722\/08098803.pdf?arnumber=8098803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,6]],"date-time":"2022-08-06T23:16:59Z","timestamp":1659827819000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8098803\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/stc-csit.2017.8098803","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}