Development of smart house system model based on colored Petri nets | IEEE Conference Publication | IEEE Xplore