Title :
Development of smart house system model based on colored Petri nets
Author :
Teslyuk, V.M. ; Beregovskyi, V.V. ; Pukach, A.I.
Author_Institution :
CAD Dept., Lviv Polytech. Nat. Univ., Lviv, Ukraine
Abstract :
The smart house (SH) structural scheme, the general performance algorithm of the SH system, and the SH system model based on colored Petri nets, which enables exploring dynamics of the whole system as well as internal interaction of its main structural and functional subsystems at the system level design, have been developed.
Keywords :
Petri nets; home automation; SH system model; colored Petri nets; functional subsystems; internal interaction; smart house structural scheme; smart house system model; structural subsystems; system level design; Automation; Brain modeling; Educational institutions; Heuristic algorithms; Home appliances; Lighting; Petri nets; Automation; Colored Petri nets; Design; Smart house; System;
Conference_Titel :
Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (DIPED), 2013 XVIIIth International Seminar/Workshop on
Conference_Location :
Lviv
Print_ISBN :
978-966-02-6765-7
