Journal
MACHINES
Volume 11, Issue 2, Pages -Publisher
MDPI
DOI: 10.3390/machines11020173
Keywords
automated manufacturing systems; Petri net; reliability; deadlock; internet of things; simulation
Ask authors/readers for more resources
This paper proposes a new reliability design methodology using colored resource-oriented Petri nets and IoT to identify significant reliability metrics in AMS. The methodology can assist in accurate diagnosis, prognosis, and resulting automated repair to enhance the adaptability of IoT devices within complicated CPSs.
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available