Abstract
Internet of things (IoT) applications, which include environmental sensors and control of automated manufacturing systems (AMS), are growing at a rapid rate. In terms of hardware and software designs, communication protocols, and/or manufacturers, IoT devices can be extremely heterogeneous. Therefore, when these devices are interconnected to create a complicated system, it can be very difficult to detect and fix any failures. This paper proposes a new reliability design methodology using "colored resource-oriented Petri nets" (CROPNs) and IoT to identify significant reliability metrics in AMS, which can assist in accurate diagnosis, prognosis, and resulting automated repair to enhance the adaptability of IoT devices within complicated cyber-physical systems (CPSs). First, a CROPN is constructed to state "sufficient and necessary conditions" for the liveness of the CROPN under resource failures and deadlocks. Then, a "fault diagnosis and treatment" technique is presented, which combines the resulting network with IoT to guarantee the reliability of the CROPN. In addition, a GPenSIM tool is used to verify, validate, and analyze the reliability of the IoT-based CROPN. Comparing the results to those found in the literature shows that they are structurally simpler and more effective in solving the deadlock issue and modeling AMS reliability.