Modeling and Implementation of Smart Home and Self-control Window using FPGA and Petri Net | IEEE Conference Publication | IEEE Xplore