Colored Resource-Oriented Petri Nets for Deadlock Control and Reliability Design of Automated Manufacturing Systems

Reliability modeling and deadlock control have become important issues in automated manufacturing systems (AMSs) with reliable and unreliable resources. Therefore, this paper develops a reliability modelling approach and deadlock control based on colored resource-oriented timed Petri net (CROTPN) and neural networks to find crucial reliability measures in AMSs. In the first step, a CROTPN with considering resource failures is developed to obtain "sufficient and necessary conditions" for the CROTPN liveness. In the second step, a fault diagnosis and treatment approach is proposed that integrates the obtained unreliable net with neural networks to ensure that the system is reliable. Furthermore, a neural unreliable CROTPN is used to analyze the system reliability. A simulation is carried out to illustrate the approach and compare the results to those found in the literature. The developed approach has been proved to be simpler in structure and can solve the deadlock problem and model AMS reliability.