As an emerging technology, internet of things (IOT) has been widely used in the greenhouse environment monitoring. Because of complexities of greenhouse environment, unreasonable system design can lead to data incorrectness and system unstability. Hierarchical model based on the architecture is instructive to the implementation of IOT. However, the architecture model does not provide a system architecture modeling tool and a model validation method. In comparison, modeling and model validation method based on timed automata theory are effective means for IOT modeling. It could improve the stability of the system and ensure the correctness of the system during system design. Based on the analysis on the intelligent greenhouse monitoring IOT system, from the perspective of system implementation, the hierarchical redivision was made based on the greenhouse environment monitoring IOT system. Continuously, the corresponding components of different layers were modeled by using timed automata theory modeling. On the basis of subsystem model, the timed automata network model was formed. Ultimately, the system logic correctness verification and system implementation timing verification were made based on the established formalized model by use of UPPAAL, the timed automata modeling tool. The results show that UPPAAL and timed automata theory can realize modeling and model validation of the intelligent greenhouse IOT system. Moreover, the correct model analysis in system design can avoid design errors, reduce the design defects and avoid risk in system operation. Thus, it can enhance system stability and reliability to ensure the correctness of the system.