Abstract: This paper develops a robust deadlock control technique for shared and unreliable resources in automated manufacturing systems (AMSs) based on structural analysis and colored Petri nets, which consists of three steps. The first step involves using strict minimal siphon control to create a live (deadlock-free) system that does not consider resource failure. The second step uses an approach based on colored Petri net, in which all monitors designed in the first step are merged into a single monitor. The third step addresses the deadlock control problems caused by resource failures. For all resource failures in the Petri net model a common recovery subnet based on colored petri net is proposed. The common recovery subnet is added to the obtained system at the second step to make the system reliable. The proposed approach is evaluated using an AMS from the literature. The results show that the proposed approach can be applied to an unreliable complex Petri net model, has a simpler structure and less computational complexity, and can obtain one common recovery subnet to model all resource failures.
Abstract: This paper aims to study performance of a thermosiphon solar water heating system with the help of the proposed analytical model. This proposed model predicts the temperature and mass flow rate in a thermosiphon solar water heating system depending on radiation intensity and ambient temperature. The performance of the thermosiphon solar water heating system is evaluated in the Indian context. For this, eight cities in India are selected considering radiation intensity and geographical positions. Predicted performance at various cities reveals the potential for thermosiphon solar water in India.