The IoRT-aware Business Process is a new business type. It embedded IoT and robot technologies to automate classic BP. To effectively execute an IoRT-aware BP, it is significant to ensure that is accurately modeled. Referring to the literature, various modeling languages can be used to model an IoRT-aware BP. The Business Process Model and Notation (BPMN) is among the most attractive and descriptive languages. However, the latter lacks a formal aspect, potentially leading to inconsistencies and ambiguities. Therefore, to effectively check an IoRT-aware BP modeled using BPMN, it seems relevant to cope with a consistent formalism (e.g., Petri Net (PN), Discrete Event System Specification (DEVS), etc.), simplifying the process structure verification. From this perspective, we propose an approach that deals with DEVS formalism to check IoRT-aware BP structure (e.g., deadlock, loop, dead task, etc.). To evaluate the proposed approach, we consider a case study of IoRT-aware BP in agriculture by checking its process model structure. The findings show the effectiveness of our approach in capturing structure errors.