A Petri-Net Based Context-Aware Workflow System for Smart Home | IEEE Conference Publication | IEEE Xplore