Building automation (BA) strives to control interconnected physical devices by using software management systems on which end-users can personalize their environmental preferences. In large buildings, among the leading causes of IoT apps conflict are the shareable locations/devices amongst residents and the diversity of their preferences. Addressing such conflicts and ensuring the safety of residents are vital requirements in building automation systems. Consequently, the potential of IoT safety and correctness frameworks relies on supporting conflict detection. This paper provides a model for detecting and resolving IoT automation conflicts. These conflicts can result from shareable locations or devices. The proposed model is evaluated using a benchmark dataset and refined scenarios collected from competitor-related works (80+ IoT apps with 117+ rules). The proposed model surpasses state-of-the-art models by covering more conflicts (joint behavior conflict); moreover, it does not require events' chain between IoT apps like other models, one more advantage is that the proposed model uses a filtering process in conflict detection which leads to small detection run-time. Thereby, our proposed model can maximize the correctness and safety of building automation systems.