Petri net modeling and analysis of an IoT‐enabled system for real‐time monitoring of eggplants

Abstract As the current agricultural industry is facing several challenges such as climate changes and lack of qualified farmers, it is extremely necessary to ensure sustainable agriculture and food supply by smart farming (SF). The SF can assist farmers and the associated stakeholders in making correct decisions on improving the yield and quality of agricultural products. In this study, an SF system based on low‐cost Raspberry Pi and Internet of Things (IoT) technologies has been successfully implemented. Through the data items detected by sensors to deeply manage the planting process, the IoT‐enabled communication protocol under ISO standards of Message Queuing Telemetry Transport (MQTT) was used. The bar charts of real‐time environmental parameters are presented on ThingsBoard to achieve the goal of data visualization. Meanwhile, a web server is built for the customized requirements, and the historical datasets are stored in the SQLite database system. Furthermore, a Petri net (PN) model was employed to detect all possible abnormal processes and to verify the feasibility and soundness of an IoT‐enabled system by using a software tool, WoPeD. Finally, the experimental results show that the plants cultivated by the proposed IoT‐enabled system are superior to those cultivated by the existing systems in many perspectives, including the monitoring distance, power consumption, precision, deadlock detection, and running time.